Logic

Authors and titles for October 2025

[1] arXiv:2510.00323 [pdf, html, other]

Title: A non-speedup result for the chain-antichain principle over a weak base theory

Katarzyna W. Kowalik

Subjects: Logic (math.LO)

[2] arXiv:2510.00412 [pdf, html, other]

Title: Undecidability of Finite Orbit Recognition in Polynomial Maps

Gwangyong Gwon

Subjects: Logic (math.LO); Dynamical Systems (math.DS)

[3] arXiv:2510.00759 [pdf, html, other]

Title: Cubic incompleteness: Hilbert's tenth problem begins at degree three

Milan Rosko

Comments: We construct an explicit cubic Diophantine equation independent of PA. The result follows via Zeckendorf-based arithmetization and a reduction from the halting problem. 1+10+1 pages. Overall Difficulty: Assumes knowledge of Göodel numbering, MRDP theorem, algebra, complexity theory, primitive recursive functions, and formal theories P

Subjects: Logic (math.LO); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[4] arXiv:2510.00864 [pdf, html, other]

Title: Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$

Søren Brinck Knudstorp

Comments: 11 pages

Subjects: Logic (math.LO)

[5] arXiv:2510.01883 [pdf, html, other]

Title: Supervaluation-Style Truth Revisited

Pablo Dopico, Carlo Nicolai, Johannes Stern

Subjects: Logic (math.LO)

[6] arXiv:2510.02062 [pdf, html, other]

Title: Definable sets in Skolem arithmetic

Łukasz Kamiński

Subjects: Logic (math.LO)

[7] arXiv:2510.02620 [pdf, html, other]

Title: Formal Cantor's theorem via abbreviations

Martin Klazar

Comments: 19 pages

Subjects: Logic (math.LO); Combinatorics (math.CO)

[8] arXiv:2510.00139 (cross-list from math.CO) [pdf, html, other]

Title: Monadic non-definability and gain-graphic matroids

Daryl Funk, Angus Matthews, Dillon Mayhew

Comments: 37 pages, 4 figures

Subjects: Combinatorics (math.CO); Logic (math.LO)

[9] arXiv:2510.00854 (cross-list from math.CT) [pdf, other]

Title: Stable first order theories as simplicial profinite sets

Misha Gavrilovich

Subjects: Category Theory (math.CT); Logic (math.LO)

[10] arXiv:2510.01613 (cross-list from math.GN) [pdf, html, other]

Title: Continuous approximate roots of polynomial equations via shape theory

Joshua Lau, Vicente Marin-Marquez

Comments: 27 pages, 2 figures. Comments welcome!

Subjects: General Topology (math.GN); Logic (math.LO)

[11] arXiv:2510.02420 (cross-list from stat.ML) [pdf, html, other]

Title: Higher-arity PAC learning, VC dimension and packing lemma

Artem Chernikov, Henry Towsner

Comments: 12 pages, 1 figure

Subjects: Machine Learning (stat.ML); Discrete Mathematics (cs.DM); Machine Learning (cs.LG); Combinatorics (math.CO); Logic (math.LO); Statistics Theory (math.ST)

[12] arXiv:2510.02607 (cross-list from math.CT) [pdf, other]

Title: Homotopy Languages

César Bardomiano Martínez, Simon Henry

Comments: 157 pages

Subjects: Category Theory (math.CT); Algebraic Topology (math.AT); Logic (math.LO)