Logic

Authors and titles for recent submissions

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

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

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

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