Logic

Authors and titles for recent submissions

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

[1] arXiv:2404.09033 [pdf, ps, other]: Title: Logic in Mathematics and Computer Science

Authors: Richard Zach

Comments: To appear in The Oxford Handbook of Philosophy of Logic

Subjects: Logic (math.LO)
[2] arXiv:2404.09018 [pdf, ps, other]: Title: Arrow-Sen theory simplified

Authors: Branislav Boričić

Subjects: Logic (math.LO)
[3] arXiv:2404.09004 [pdf, ps, other]: Title: Countably compact extensions and cardinal characteristics of the continuum

Authors: Serhii Bardyla, Peter Nyikos, Lyubomyr Zdomskyy

Subjects: Logic (math.LO); General Topology (math.GN)
[4] arXiv:2404.08983 [pdf, ps, other]: Title: Nonvanishing derived limits without scales

Authors: Matteo Casarosa

Subjects: Logic (math.LO)

[5] arXiv:2404.08551 [pdf, ps, other]: Title: Quantifier alternation depth in universal Boolean doctrines

Authors: Marco Abbadini, Francesca Guffanti

Comments: Comments are welcome!

Subjects: Logic (math.LO); Category Theory (math.CT)
[6] arXiv:2404.08260 [pdf, ps, other]: Title: Weakly o-minimal types

Authors: Slavko Moconja, Predrag Tanović

Subjects: Logic (math.LO)
[7] arXiv:2404.08629 (cross-list from math.RA) [pdf, ps, other]: Title: Classification of Boolean Algebras through von Neumann regular $\mathcal{C}^{\infty}-$Rings

Authors: Jean Cerqueira Berni, Hugo Luiz Mariano

Comments: arXiv admin note: substantial text overlap with arXiv:1905.09617

Subjects: Rings and Algebras (math.RA); Category Theory (math.CT); Logic (math.LO)
[8] arXiv:2404.08015 (cross-list from math.HO) [pdf, ps, other]: Title: Secrets and Quantifiers

Authors: Bela Bajnok, Peter Francis

Journal-ref: Math Horizons, v. 28, no. 3, 2021

Subjects: History and Overview (math.HO); Logic (math.LO)

[9] arXiv:2404.07877 [pdf, ps, other]: Title: Definability of band structures on posets

Authors: Joel Kuperman, Alejandro Petrovich, Pedro Sánchez Terraf

Comments: 34 pages, 10 figures. Comments welcome

Subjects: Logic (math.LO); Rings and Algebras (math.RA)
[10] arXiv:2404.07646 [pdf, ps, other]: Title: T-convexity, Weakly Immediate Types and $T$-$λ$-Spherical Completions of o-minimal Structures

Authors: Pietro Freni

Comments: 34 pages, preliminary version

Subjects: Logic (math.LO)
[11] arXiv:2404.07442 [pdf, ps, other]: Title: Logics of False Belief and Radical Ignorance

Authors: Jie Fan

Comments: 21 pages

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[12] arXiv:2404.06888 [pdf, ps, other]: Title: On the theory of exponential integer parts

Authors: Emil Jeřábek

Comments: 27 pages

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[13] arXiv:2404.06872 [pdf, ps, other]: Title: Dilators and the reverse mathematics zoo

Authors: Anton Freund

Subjects: Logic (math.LO)
[14] arXiv:2404.06805 [pdf, ps, other]: Title: A note on continuous functions on metric spaces

Authors: Sam Sanders

Comments: 13 pages plus references

Subjects: Logic (math.LO)
[15] arXiv:2404.06639 [pdf, ps, other]: Title: On cardinal invariants related to Rosenthal families and large-scale topology

Authors: Arturo Martínez-Celis, Tomasz Żuchowski

Comments: 19 pages

Subjects: Logic (math.LO)
[16] arXiv:2404.06623 (cross-list from math.GN) [pdf, ps, other]: Title: Quasiorders for a characterization of iso-dense spaces

Authors: Tom Richmond, Eliza Wajch

Subjects: General Topology (math.GN); Logic (math.LO)

[17] arXiv:2404.05899 [pdf, ps, other]: Title: Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$

Authors: Daichi Hayashi

Subjects: Logic (math.LO)

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