Logic

Authors and titles for recent submissions, skipping first 13

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

Tue, 2 Dec 2025

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

[26]  arXiv:2512.00910 (cross-list from math.FA) [pdf, ps, other]

Title: Effros' theorem on transitive group actions with a glimpse into descriptive set theory

Authors: Jochen Wengenroth

Subjects: Functional Analysis (math.FA); Logic (math.LO)

[27]  arXiv:2512.00230 (cross-list from math.FA) [pdf, ps, other]

Title: Complemented ideals of $\ell_\infty$

Authors: Michael Hrušák, Luis Sáenz

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

[28]  arXiv:2512.00224 (cross-list from math.OA) [pdf, ps, other]

Title: Model Theory of General von Neumann Algebras II: Group Actions and Crossed Products

Authors: Jananan Arulseelan

Comments: 22 pages, comments welcome!

Subjects: Operator Algebras (math.OA); Logic (math.LO)

Mon, 1 Dec 2025

[29]  arXiv:2511.22945 [pdf, ps, other]

Title: On idempotent measure conjecture and decomposition of invariant measures

Authors: Daniel Max Hoffmann, Tomasz Rzepecki

Comments: 31 pages

Subjects: Logic (math.LO)

[30]  arXiv:2511.22922 [pdf, ps, other]

Title: The Equations $2^n \pm 2^m \pm 1 = x^2$ in the Arithmetic of the Even and Odd

Authors: Matt Wicks

Subjects: Logic (math.LO)

[31]  arXiv:2511.22901 [pdf, ps, other]

Title: Contrasting the Halves of an Ahmad Pair

Authors: Karthik Ravishankar

Comments: 26 pages

Subjects: Logic (math.LO)

[32]  arXiv:2511.22742 [pdf, ps, other]

Title: Cross-Sections of Divisible Abelian $o$-Groups via Tame Pairs

Authors: Ricardo Palomino Piepenborn

Comments: 7 pages,

Subjects: Logic (math.LO)

[33]  arXiv:2511.22495 [pdf, ps, other]

Title: Revisiting Interpolation in Relevant Logics

Authors: Wesley Fussner, Andrew Tedder

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

[34]  arXiv:2511.22127 [pdf, ps, other]

Title: Connexive logics and connexive semi-Heyting algebras

Authors: Juan M. Cornejo, Hanamantagouda P. Sankappanavar

Comments: 35 pages, 2 figures, Results of this paper were presented by the second author in an invited lecture at AAA107-Workshop on General Algebra, Bern, Switzerland, June 20-22, 2025

Subjects: Logic (math.LO)

[35]  arXiv:2511.21954 [pdf, ps, other]

Title: Definiteness properties of first-order schemes

Authors: Piotr Gruza, Mateusz Łełyk

Subjects: Logic (math.LO)

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