Logic

Authors and titles for recent submissions, skipping first 10

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

[11] 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)
[12] 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)
[13] arXiv:2512.05263 [pdf, ps, other]: Title: Descending sequences in reflection hierarchies

Authors: Mateusz Łełyk, James Walsh

Subjects: Logic (math.LO)
[14] 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)
[15] 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)
[16] 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)

[17] 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)
[18] 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)
[19] 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)

[20] 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)
[21] 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)
[22] 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)
[23] 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)

[24] arXiv:2512.02725 [pdf, ps, other]: Title: Transcendence degrees over mutually generic extensions

Authors: Jonathan Schilhan

Comments: 7 pages

Subjects: Logic (math.LO)
[25] 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)
[26] arXiv:2512.02355 [pdf, ps, other]: Title: Fundamental groups and descriptive set theory

Authors: Fanxin Wu

Subjects: Logic (math.LO); Algebraic Topology (math.AT)
[27] 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)
[28] 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)
[29] 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)

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