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

Logic

Authors and titles for recent submissions

[ total of 28 entries: 1-28 ]
[ showing 28 entries per page: fewer | more ]

Wed, 10 Dec 2025

[1]  arXiv:2512.08633 [pdf, ps, other]
Title: Higher walks and squares
Authors: Chris Lambie-Hanson, Pedro Marun
Comments: Preliminary version, comments welcome
Subjects: Logic (math.LO)
[2]  arXiv:2512.08468 [pdf, ps, other]
Title: Fields of dp-Rank 2 and their W_2-Topologies: The Characteristic 2 Case
Authors: Paulo Andrés Soto Moreno
Subjects: Logic (math.LO)
[3]  arXiv:2512.08149 [pdf, ps, other]
Title: Adversarial Barrier in Uniform Class Separation
Authors: Milan Rosko
Comments: 8 pages, 2 figures. A structural obstruction shows uniform separation in HA collapses into fixed-point paradoxes, independent of semantics
Subjects: Logic (math.LO); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[4]  arXiv:2512.08081 [pdf, ps, other]
Title: Shelah Ultrafilters
Authors: Emmanuel Balderas, David Chodounský, Osvaldo Guzmán
Comments: 21 pages
Subjects: Logic (math.LO)
[5]  arXiv:2512.08579 (cross-list from math.RA) [pdf, ps, other]
Title: L-algebras and their ideals: from simplicity to semidirect products
Authors: Silvia Properzi, Yufei Qin
Subjects: Rings and Algebras (math.RA); Combinatorics (math.CO); Logic (math.LO); Quantum Algebra (math.QA)

Tue, 9 Dec 2025

[6]  arXiv:2512.07711 [pdf, ps, other]
Title: $σ$-Porosity of Certain Ideals
Authors: Paweł Klinga, Andrzej Nowik, Anna Wąsik
Subjects: Logic (math.LO)
[7]  arXiv:2512.07685 [pdf, ps, other]
Title: Generalized Higman's Theorem and iterated ideals
Authors: Fedor Pakhomov, Giovanni Soldà
Subjects: Logic (math.LO)
[8]  arXiv:2512.06876 [pdf, ps, other]
Title: Stationary list colorings
Authors: Yusuke Hayashi
Subjects: Logic (math.LO); Combinatorics (math.CO)
[9]  arXiv:2512.06564 [pdf, ps, other]
Title: A potentialist conception of ultrafinitism
Authors: Joel David Hamkins
Comments: This article was adapted from the talk of the same title that I gave at the conference on Ultrafinitism: Physics, Mathematics, Philosophy at Columbia University in April 2025
Subjects: Logic (math.LO)
[10]  arXiv:2512.06391 [pdf, ps, other]
Title: On certain definable coarsenings of valuation rings and their applications
Authors: Franz-Viktor Kuhlmann
Subjects: Logic (math.LO); Commutative Algebra (math.AC)
[11]  arXiv:2512.06386 [pdf, ps, other]
Title: Model theory of tame valued fields and beyond: recent developments and open questions
Authors: Franz-Viktor Kuhlmann
Subjects: Logic (math.LO); Commutative Algebra (math.AC)
[12]  arXiv:2512.06323 [pdf, ps, other]
Title: Partial Tower Sealing
Authors: Grigor Sargsyan, Nam Trang
Subjects: Logic (math.LO)
[13]  arXiv:2512.06025 [pdf, ps, other]
Title: A Note About Models of Synthetic Algebraic Geometry
Authors: Thierry Coquand, Jonas Hofer, Christian Sattler
Subjects: Logic (math.LO)
[14]  arXiv:2512.07499 (cross-list from math.CO) [pdf, ps, other]
Title: Enumeration of Finite Distance Monoids
Authors: Yunjie Luo, Jie Sheng
Subjects: Combinatorics (math.CO); Logic (math.LO)
[15]  arXiv:2512.06580 (cross-list from math.OA) [pdf, ps, other]
Title: On masas of the Calkin algebra generated by projections
Authors: Piotr Koszmider
Subjects: Operator Algebras (math.OA); General Topology (math.GN); Logic (math.LO)

Mon, 8 Dec 2025

[16]  arXiv:2512.05684 [pdf, ps, other]
Title: A footnote to the KPT theorem in structural Ramsey theory
Authors: Peter J. Cameron, Siavash Lashkarighouchani
Subjects: Logic (math.LO); Combinatorics (math.CO)
[17]  arXiv:2512.05633 [pdf, ps, other]
Title: Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras
Authors: Alex Citkin
Subjects: Logic (math.LO)
[18]  arXiv:2512.05263 [pdf, ps, other]
Title: Descending sequences in reflection hierarchies
Authors: Mateusz Łełyk, James Walsh
Subjects: Logic (math.LO)
[19]  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)
[20]  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)
[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

[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)
[26]  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)
[27]  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)
[28]  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)
[ total of 28 entries: 1-28 ]
[ showing 28 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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