Logic

Authors and titles for recent submissions

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

[1] 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)
[2] arXiv:2405.01262 [pdf, ps, other]: Title: Unified inverse correspondence for LE-logics

Authors: Alessandra Palmigiano, Mattia Panettiere

Subjects: Logic (math.LO)
[3] 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)
[4] 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)
[5] 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)

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

Authors: Karel Hrbacek

Subjects: Logic (math.LO)
[7] 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)

[8] 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)

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

Authors: Shimon Garti

Subjects: Logic (math.LO)
[10] 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)
[11] arXiv:2404.18571 [pdf, ps, other]: Title: Cascading Variants of Internal Approachability

Authors: Hannes Jakob

Comments: 12 pages, 0 figures

Subjects: Logic (math.LO)
[12] 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)
[13] 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)

[14] arXiv:2404.17516 [pdf, ps, other]: Title: An order analysis of hyperfinite Borel equivalence relations

Authors: Su Gao, Ming Xiao

Subjects: Logic (math.LO)
[15] arXiv:2404.17322 [pdf, ps, other]: Title: Filtered Boolean powers of finite simple non-abelian Mal'cev algebras

Authors: Peter Mayr, Nik Ruškuc

Subjects: Logic (math.LO); Group Theory (math.GR); Rings and Algebras (math.RA)
[16] arXiv:2404.17295 [pdf, ps, other]: Title: Generalized quantifiers using team semantics

Authors: Fredrik Engström

Subjects: Logic (math.LO)
[17] arXiv:2404.17234 [pdf, ps, other]: Title: Generic differentiability and $P$-minimal groups

Authors: Will Johnson

Comments: 50 pages

Subjects: Logic (math.LO)
[18] arXiv:2404.16971 [pdf, ps, other]: Title: Retractors in local positive logic

Authors: Arturo Rodriguez Fanlo, Ori Segel

Comments: arxiv:2401.03260v1 has been divided in two papers. This is the second part

Subjects: Logic (math.LO)

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