Logic

Authors and titles for recent submissions

[ total of 20 entries: 1-20 ]
[ showing up to 25 entries per page: fewer | more ]

[1] arXiv:2405.10466 [pdf, ps, other]: Title: Maximal δ-separated sets in separable metric spaces and weak forms of choice

Authors: Michał Dybowski, Przemyslaw Górka, Paul Howard

Subjects: Logic (math.LO)
[2] arXiv:2405.10388 [pdf, ps, other]: Title: Partial Model Theory -- Ultraproducts and Compactness

Authors: Rodolfo Cunha Carnier

Subjects: Logic (math.LO)

[3] arXiv:2405.10069 [pdf, ps, other]: Title: VC-Density Calculations in Pairs of Ordered Vector Spaces

Authors: Ayhan Günaydın, Ebru Nayir

Subjects: Logic (math.LO)
[4] arXiv:2405.09970 [pdf, ps, other]: Title: Cut Elimination of Intuitionistic Tense Logic

Authors: Yiheng Wang, Yu Peng, Zhe Lin

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[5] arXiv:2405.09674 [pdf, ps, other]: Title: $Σ_n$-correct Forcing Axioms

Authors: Ben Goodman

Comments: PhD dissertation, 145 pages

Subjects: Logic (math.LO)

[6] arXiv:2405.09401 [pdf, ps, other]: Title: Failure of the Blok-Esakia Theorem in the monadic setting

Authors: Guram Bezhanishvili, Luca Carai

Comments: 23 pages

Subjects: Logic (math.LO)
[7] arXiv:2405.09275 [pdf, ps, other]: Title: Feferman's completeness theorem

Authors: Fedor Pakhomov, Michael Rathjen, Dino Rossegger

Subjects: Logic (math.LO)
[8] arXiv:2405.09162 [pdf, ps, other]: Title: Completeness and Termination of Tableau Calculus for Undirected Graphs

Authors: Yuki Nishimura, Tsubasa Takagi

Comments: 12 pages, 3 figures, the conference 'AWPL 2024' proceeding

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[9] arXiv:2405.09396 (cross-list from cs.FL) [pdf, ps, other]: Title: $O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof

Authors: Marco B. Caminati

Comments: dlt 2024

Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Logic (math.LO)

[10] arXiv:2405.08639 [pdf, ps, other]: Title: Upwards homogeneity in iterated symmetric extensions

Authors: Calliope Ryan-Smith, Jonathan Schilhan, Yujun Wei

Comments: 16 pages, 1 figure

Subjects: Logic (math.LO)
[11] arXiv:2405.08575 [pdf, ps, other]: Title: Complexity of codes for Ramsey positive sets

Authors: Allison Wang

Subjects: Logic (math.LO)
[12] arXiv:2405.08442 [pdf, ps, other]: Title: Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization

Authors: Meng-Che "Turbo" Ho, Khanh Le, Dino Rossegger

Subjects: Logic (math.LO); Group Theory (math.GR)
[13] arXiv:2405.08422 [pdf, other]: Title: Hereditary undecidability of fragments of some elementary theories

Authors: Vladimir E. Karpov

Comments: in Russian language

Subjects: Logic (math.LO)
[14] arXiv:2405.08211 [pdf, ps, other]: Title: Simple Homogeneous Structures and Indiscernible Sequence Invariants

Authors: John Baldwin, James Freitag, Scott Mutchnik

Comments: 48 pages

Subjects: Logic (math.LO)
[15] arXiv:2405.08471 (cross-list from math.RA) [pdf, ps, other]: Title: Varieties of MV-monoids and positive MV-algebras

Authors: Marco Abbadini, Paolo Aglianò, Stefano Fioravanti

Subjects: Rings and Algebras (math.RA); Logic (math.LO)

[16] arXiv:2405.07114 [pdf, ps, other]: Title: Definable separability and second-countability in o-minimal structures

Authors: Pablo Andújar Guerrero

Subjects: Logic (math.LO); General Topology (math.GN)
[17] arXiv:2405.07112 [pdf, other]: Title: Definable compactness in o-minimal structures

Authors: Pablo Andújar Guerrero

Comments: This is a round-up of the topological content of arXiv:2111.03802

Subjects: Logic (math.LO); General Topology (math.GN)
[18] arXiv:2405.06961 [pdf, ps, other]: Title: Dimensionality and randomness

Authors: George Barmpalias, Xiaoyan Zhang

Subjects: Logic (math.LO); Discrete Mathematics (cs.DM); Information Theory (cs.IT)
[19] arXiv:2405.06852 [pdf, ps, other]: Title: Possibility Semantics

Authors: Wesley H. Holliday

Comments: Previous version in Selected Topics from Contemporary Logics, ed. Melvin Fitting, Volume 2 of Landscapes in Logic, College Publications, London, 2021, ISBN 97-1-84890-350-0, pp. 363-476. This version corrects Section 4.3

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[20] arXiv:2405.07307 (cross-list from math.GR) [pdf, ps, other]: Title: Primitive permutation groups of finite Morley rank and affine type

Authors: Ayşe Berkman, Alexandre Borovik

Comments: 27 pages

Subjects: Group Theory (math.GR); Logic (math.LO)

[ total of 20 entries: 1-20 ]
[ showing up to 25 entries per page: fewer | more ]