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

Logic

Authors and titles for recent submissions, skipping first 3

[ total of 34 entries: 1-50 | 4-34 ]
[ showing up to 50 entries per page: fewer | more ]

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

[4]  arXiv:2512.05214 [pdf, ps, other]
Title: Towards a logic of affordances
Authors: Rafal Gruszczynski, Paula Menchón, Ivo Düntsch, Günther Gediga
Subjects: Logic (math.LO)
[5]  arXiv:2512.05833 (cross-list from econ.TH) [pdf, ps, other]
Title: Vague Knowledge: Information without Transitivity and Partitions
Authors: Kerry Xiao
Subjects: Theoretical Economics (econ.TH); Computation and Language (cs.CL); Logic (math.LO); General Finance (q-fin.GN)
[6]  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

[7]  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)
[8]  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)
[9]  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

[10]  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)
[11]  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)
[12]  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)
[13]  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

[14]  arXiv:2512.02725 [pdf, ps, other]
Title: Transcendence degrees over mutually generic extensions
Authors: Jonathan Schilhan
Comments: 7 pages
Subjects: Logic (math.LO)
[15]  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)
[16]  arXiv:2512.02355 [pdf, ps, other]
Title: Fundamental groups and descriptive set theory
Authors: Fanxin Wu
Subjects: Logic (math.LO); Algebraic Topology (math.AT)
[17]  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)
[18]  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)
[19]  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

[20]  arXiv:2512.01867 [pdf, ps, other]
Title: Uniformity in learning structures
Authors: Vittorio Cipriani, Dino Rossegger
Subjects: Logic (math.LO)
[21]  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)
[22]  arXiv:2512.01862 [pdf, ps, other]
Title: Hierarchies of Beliefs and Measurable Uniformizations
Authors: Stuart Zoble
Subjects: Logic (math.LO)
[23]  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)
[24]  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)
[25]  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)
[26]  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)
[27]  arXiv:2512.00924 [pdf, ps, other]
Title: Interpolation and Amalgamation
Authors: George Metcalfe
Subjects: Logic (math.LO)
[28]  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)
[29]  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)
[30]  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)
[31]  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)
[32]  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)
[33]  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)
[34]  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)
[ total of 34 entries: 1-50 | 4-34 ]
[ showing up to 50 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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