Logic

Authors and titles for recent submissions

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

[1] arXiv:2405.02209 [pdf, ps, other]: Title: Zilber's Trichotomy in Hausdorff Geometric Structures

Authors: Benjamin Castle, Assaf Hasson, Jinhe Ye

Subjects: Logic (math.LO); Algebraic Geometry (math.AG)

[2] arXiv:2405.01399 [pdf, ps, other]: Title: Algebraic types in Zilber's exponential field

Authors: Vahagn Aslanyan, Jonathan Kirby

Subjects: Logic (math.LO); Number Theory (math.NT)
[3] arXiv:2405.01262 [pdf, ps, other]: Title: Unified inverse correspondence for LE-logics

Authors: Alessandra Palmigiano, Mattia Panettiere

Subjects: Logic (math.LO)
[4] arXiv:2405.00991 [pdf, ps, other]: Title: Measurable Brooks's Theorem for Directed Graphs

Authors: Cecelia Higgins

Comments: 19 pages

Subjects: Logic (math.LO); Combinatorics (math.CO)
[5] arXiv:2405.00840 [pdf, ps, other]: Title: Complexities of Theories of Profinite Subgroups of $S_ω$ via Tree Presentations

Authors: Jason Block

Comments: Accepted to appear in the 2024 Computability in Europe proceedings volume in the Lecture Notes in Computer Science (LNCS) series from Springer-Verlag

Subjects: Logic (math.LO)
[6] arXiv:2405.00758 (cross-list from math.CO) [pdf, ps, other]: Title: Courcelle's Theorem: A Self-Contained Proof and a Path-Width Variant

Authors: Adrian Rettich

Comments: 252 pages, master's thesis

Subjects: Combinatorics (math.CO); Logic (math.LO)

[7] arXiv:2405.00621 [pdf, ps, other]: Title: Multi-level Nonstandard Analysis and the Axiom of Choice

Authors: Karel Hrbacek

Subjects: Logic (math.LO)
[8] arXiv:2405.00618 [pdf, ps, other]: Title: An axiomatisation of the temporal logic of two dimensional Minkowski spacetime

Authors: Robin Hirsch

Subjects: Logic (math.LO)

[9] arXiv:2404.18974 [pdf, ps, other]: Title: $Π^0_4$ conservation of Ramsey's theorem for pairs

Authors: Quentin Le Houérou, Ludovic Levy Patey, Keita Yokoyama

Comments: 36 pages

Subjects: Logic (math.LO)

[10] arXiv:2404.18888 [pdf, ps, other]: Title: Hungarian cubes

Authors: Shimon Garti

Subjects: Logic (math.LO)
[11] arXiv:2404.18749 [pdf, ps, other]: Title: $Π^0_4$ conservation of the Ordered Variable Word theorem

Authors: Quentin Le Houérou, Ludovic Levy Patey

Comments: 19 pages

Subjects: Logic (math.LO)
[12] arXiv:2404.18571 [pdf, ps, other]: Title: Cascading Variants of Internal Approachability

Authors: Hannes Jakob

Comments: 12 pages, 0 figures

Subjects: Logic (math.LO)
[13] arXiv:2404.17784 [pdf, ps, other]: Title: Logical Characterizations of Weighted Complexity Classes

Authors: Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul

Subjects: Logic (math.LO)
[14] arXiv:2404.17840 (cross-list from math.GR) [pdf, ps, other]: Title: A finitely presented group with transcendental spectral radius

Authors: Corentin Bodart

Comments: 4 pages

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

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