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

Logic

Authors and titles for recent submissions, skipping first 20

[ total of 28 entries: 1-5 | 6-10 | 11-15 | 16-20 | 21-25 | 26-28 ]
[ showing 5 entries per page: fewer | more | all ]

Mon, 8 Dec 2025 (continued, showing last 1 of 6 entries)

[21]  arXiv:2512.05206 (cross-list from math.GT) [pdf, ps, other]
Title: Set theory, logic, and homeomorphism groups of manifolds
Authors: James E. Hanson, Thomas Koberda, J. de la Nuez González, Christian Rosendal
Comments: 41 pages, one figure
Subjects: Geometric Topology (math.GT); Group Theory (math.GR); Logic (math.LO)

Fri, 5 Dec 2025

[22]  arXiv:2512.04932 [pdf, ps, other]
Title: Growing Spines: Ad Infinitum et Ad Infinitesimalia
Authors: Blaise Boissonneau, Anna De Mase, Franziska Jahnke, Pierre Touchard
Comments: 35 pages. This paper supersedes arXiv:2501.10531 by the same authors
Subjects: Logic (math.LO)
[23]  arXiv:2512.04762 [pdf, ps, other]
Title: Maehara Interpolation in Extensions of R-mingle
Authors: Wesley Fussner, Krzysztof Krawczyk
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[24]  arXiv:2512.04896 (cross-list from math.NT) [pdf, ps, other]
Title: Existentially defining valuations in function fields over large fields
Authors: Nicolas Daans
Comments: preprint, 20 pages
Subjects: Number Theory (math.NT); Logic (math.LO)

Thu, 4 Dec 2025 (showing first 1 of 4 entries)

[25]  arXiv:2512.03778 [pdf, ps, other]
Title: Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
Authors: Yong Liu, Cheng Peng
Subjects: Logic (math.LO)
[ total of 28 entries: 1-5 | 6-10 | 11-15 | 16-20 | 21-25 | 26-28 ]
[ showing 5 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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