Logic

Authors and titles for recent submissions, skipping first 15

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

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

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

[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-25 | 16-28 ]
[ showing 25 entries per page: fewer | more | all ]