We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic

Authors and titles for recent submissions

[ total of 19 entries: 1-10 | 11-19 ]
[ showing 10 entries per page: fewer | more | all ]

Fri, 19 Apr 2024

[1]  arXiv:2404.12269 [pdf, ps, other]
Title: Upward Löwenheim-Skolem-Tarski Numbers for Abstract Logics
Authors: Victoria Gitman, Jonathan Osinski
Subjects: Logic (math.LO)
[2]  arXiv:2404.11969 [pdf, other]
Title: Lewis and Brouwer meet Strong Löb
Authors: Albert Visser, Tadeusz Litak
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[3]  arXiv:2404.11638 [pdf, ps, other]
Title: Chain Bounding and the leanest proof of Zorn's lemma
Authors: Guillermo L. Incatasciato, Pedro Sánchez Terraf
Comments: Expository paper. 9 pages. Comments are welcome!
Subjects: Logic (math.LO); History and Overview (math.HO)
[4]  arXiv:2404.12082 (cross-list from math.CO) [pdf, ps, other]
Title: The Generic Circular Triangle-Free Graph
Authors: Manuel Bodirsky, Santiago Guzmán-Pro
Subjects: Combinatorics (math.CO); Logic (math.LO)

Thu, 18 Apr 2024

[5]  arXiv:2404.11524 [pdf, ps, other]
Title: On effective constructions of existentially closed groups
Authors: I Scott
Comments: 27 pages; comments welcome!
Subjects: Logic (math.LO)
[6]  arXiv:2404.11453 [pdf, ps, other]
Title: Visceral theories without assumptions
Authors: Will Johnson
Comments: 58 pages
Subjects: Logic (math.LO)
[7]  arXiv:2404.11218 [pdf, ps, other]
Title: Witnessing Flows in Arithmetic
Authors: Amirhossein Akbar Tabatabai
Comments: 55 pages
Subjects: Logic (math.LO); Computational Complexity (cs.CC)

Wed, 17 Apr 2024 (showing first 3 of 4 entries)

[8]  arXiv:2404.10737 [pdf, ps, other]
Title: Integer-valued o-minimal functions
Authors: Neer Bhardwaj, Raymond McCulloch, Nandagopal Ramachandran, Katharine Woo
Comments: 14 pages
Subjects: Logic (math.LO); Number Theory (math.NT)
[9]  arXiv:2404.10736 [pdf, ps, other]
Title: On forcing axioms and weakenings of the Axiom of Choice
Authors: Diego Lima Bomfim, Charles Morgan, Samuel Gomes da Silva
Comments: 15 pages
Subjects: Logic (math.LO)
[10]  arXiv:2404.10612 [pdf, ps, other]
Title: Fraenkel--Mostowski models revisited
Authors: Jindrich Zapletal
Subjects: Logic (math.LO)
[ total of 19 entries: 1-10 | 11-19 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, new, 2404, contact, help  (Access key information)