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

Logic

Authors and titles for recent submissions, skipping first 21

[ total of 30 entries: 1-10 | 2-11 | 12-21 | 22-30 ]
[ showing 10 entries per page: fewer | more | all ]

Mon, 8 Dec 2025

[22]  arXiv:2512.05684 [pdf, ps, other]
Title: A footnote to the KPT theorem in structural Ramsey theory
Subjects: Logic (math.LO); Combinatorics (math.CO)
[23]  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)
[24]  arXiv:2512.05263 [pdf, ps, other]
Title: Descending sequences in reflection hierarchies
Subjects: Logic (math.LO)
[25]  arXiv:2512.05214 [pdf, ps, other]
Title: Towards a logic of affordances
Subjects: Logic (math.LO)
[26]  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)
[27]  arXiv:2512.05206 (cross-list from math.GT) [pdf, ps, other]
Title: Set theory, logic, and homeomorphism groups of manifolds
Comments: 41 pages, one figure
Subjects: Geometric Topology (math.GT); Group Theory (math.GR); Logic (math.LO)

Fri, 5 Dec 2025

[28]  arXiv:2512.04932 [pdf, ps, other]
Title: Growing Spines: Ad Infinitum et Ad Infinitesimalia
Comments: 35 pages. This paper supersedes arXiv:2501.10531 by the same authors
Subjects: Logic (math.LO)
[29]  arXiv:2512.04762 [pdf, ps, other]
Title: Maehara Interpolation in Extensions of R-mingle
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[30]  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)
[ total of 30 entries: 1-10 | 2-11 | 12-21 | 22-30 ]
[ showing 10 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)