Logic

Authors and titles for recent submissions

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

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

Authors: Karel Hrbacek

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

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

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

Authors: Shimon Garti

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

Authors: Hannes Jakob

Comments: 12 pages, 0 figures

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

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

Authors: Su Gao, Ming Xiao

Subjects: Logic (math.LO)
[10] 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)
[11] arXiv:2404.17295 [pdf, ps, other]: Title: Generalized quantifiers using team semantics

Authors: Fredrik Engström

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

Authors: Will Johnson

Comments: 50 pages

Subjects: Logic (math.LO)
[13] 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 13 entries: 1-13 ]
[ showing up to 25 entries per page: fewer | more ]