Logic

Authors and titles for recent submissions

• Fri, 5 Dec 2025
• Thu, 4 Dec 2025
• Wed, 3 Dec 2025
• Tue, 2 Dec 2025
• Mon, 1 Dec 2025

Fri, 5 Dec 2025

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

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

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

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

[5]  arXiv:2512.03576 [pdf, ps, other]

Title: Upside down and backwards

Authors: Kyle Gannon, Tomasz Rzepecki

Comments: 33 pages excl. references

Subjects: Logic (math.LO); Dynamical Systems (math.DS); Group Theory (math.GR)

[6]  arXiv:2512.03386 [pdf, ps, other]

Title: Perfect set dichotomy theorem in generalized Solovay model

Authors: Hiroshi Sakai, Toshimasa Tanno

Comments: 24pages

Subjects: Logic (math.LO)

[7]  arXiv:2512.03259 [pdf, ps, other]

Title: A joint logic of problems and propositions

Authors: Sergey A. Melikhov

Comments: 18 pages, 1 figure. This note is a short communication on the author's preprints arXiv:1312.2575v5, arXiv:1504.03379v5, aiming at a more readable exposition of their main ideas and results

Journal-ref: Dokl. Math. 109 (2024) 130-139; Russian translation: Dokl. RAN (Mat., inf., proc. upr.), 516 (2024), 38-50

Subjects: Logic (math.LO)

Wed, 3 Dec 2025

[8]  arXiv:2512.02725 [pdf, ps, other]

Title: Transcendence degrees over mutually generic extensions

Authors: Jonathan Schilhan

Comments: 7 pages

Subjects: Logic (math.LO)

[9]  arXiv:2512.02545 [pdf, ps, other]

Title: On the problem of stability of abstract elementary classes of modules

Authors: Gianluca Paolini, Saharon Shelah

Subjects: Logic (math.LO)

[10]  arXiv:2512.02355 [pdf, ps, other]

Title: Fundamental groups and descriptive set theory

Authors: Fanxin Wu

Subjects: Logic (math.LO); Algebraic Topology (math.AT)

[11]  arXiv:2512.02041 [pdf, ps, other]

Title: Logic of Sets with Atoms

Authors: Jake Masters

Comments: Master's Thesis, 81 pages, 1 figure

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

[12]  arXiv:2512.02039 [pdf, ps, other]

Title: Local-Order-Invariant Logic on Classes of Bounded Degree

Authors: Derek Aoki

Comments: 15 pages, 4 pages of appendices

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

[13]  arXiv:2512.02045 (cross-list from math.HO) [pdf, ps, other]

Title: On a form of intrinsic optimism in Set Theory

Authors: M. Muñoz Pérez

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

Tue, 2 Dec 2025 (showing first 12 of 15 entries)

[14]  arXiv:2512.01867 [pdf, ps, other]

Title: Uniformity in learning structures

Authors: Vittorio Cipriani, Dino Rossegger

Subjects: Logic (math.LO)

[15]  arXiv:2512.01866 [pdf, ps, other]

Title: Model theory, differential algebra and functional transcendence

Authors: Amador Martin-Pizarro

Comments: To appear in Ast\'erisque

Subjects: Logic (math.LO)

[16]  arXiv:2512.01862 [pdf, ps, other]

Title: Hierarchies of Beliefs and Measurable Uniformizations

Authors: Stuart Zoble

Subjects: Logic (math.LO)

[17]  arXiv:2512.01600 [pdf, ps, other]

Title: Interpolation in Non-Classical Logics

Authors: Wesley Fussner

Comments: This is a chapter of the forthcoming book "Theory and Applications of Craig Interpolation", edited by Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter

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

[18]  arXiv:2512.01418 [pdf, ps, other]

Title: A consistency theorem for cardinal sequences of length $< ω_3$

Authors: Juan Carlos Martínez, Lajos Soukup

Comments: article for a journal, 23 pages, no figure

Subjects: Logic (math.LO)

[19]  arXiv:2512.01086 [pdf, ps, other]

Title: A guide to topological reconstruction on endomorphism monoids and polymorphism clones

Authors: Paolo Marimon, Michael Pinsker

Comments: 25 pages, 1 figure

Subjects: Logic (math.LO); Group Theory (math.GR); Rings and Algebras (math.RA)

[20]  arXiv:2512.01065 [pdf, ps, other]

Title: Entangled Suslin lines and OGA

Authors: Carlos Martinez-Ranero, Lucas Polymeris

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

[21]  arXiv:2512.00924 [pdf, ps, other]

Title: Interpolation and Amalgamation

Authors: George Metcalfe

Subjects: Logic (math.LO)

[22]  arXiv:2512.00235 [pdf, ps, other]

Title: Directed schemes of ideals and cardinal characteristics, I: the meager additive ideal

Authors: Miguel A. Cardona, Diego A. Mejía, Ismael E. Rivera-Madrid

Comments: Accepted in Comptes Rendus Math\'ematique

Subjects: Logic (math.LO)

[23]  arXiv:2512.02001 (cross-list from math.CO) [pdf, ps, other]

Title: On the linear complexity of subsets of $\mathbb{F}_p^n$ bounded $\textrm{VC}_2$-dimension

Authors: Hannah Sheats, Caroline Terry

Subjects: Combinatorics (math.CO); Logic (math.LO)

[24]  arXiv:2512.01259 (cross-list from math.DS) [pdf, ps, other]

Title: Computable thermodynamic formalism

Authors: Ilia Binder, Qiandu He, Zhiqiang Li, Xianghui Shi

Comments: 41 pages, 2 figures

Subjects: Dynamical Systems (math.DS); Complex Variables (math.CV); Logic (math.LO)

[25]  arXiv:2512.01001 (cross-list from math.OC) [pdf, ps, other]

Title: Games with infinite past

Authors: Galit Ashkenazi-Golan, János Flesch, Eilon Solan

Subjects: Optimization and Control (math.OC); Logic (math.LO)

• Fri, 5 Dec 2025
• Thu, 4 Dec 2025
• Wed, 3 Dec 2025
• Tue, 2 Dec 2025
• Mon, 1 Dec 2025