Logic

Authors and titles for August 2025

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

Title: A Counterexample Regarding C.E. Closed Subsets of [0,1] Under Homeomorphisms

Volker Bosserhoff

Subjects: Logic (math.LO)

[2] arXiv:2508.00396 [pdf, other]

Title: Proof complexity of Mal'tsev CSP

Azza Gaysin

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

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

Title: On the regularity of almost stable relations

Marcos Girón

Subjects: Logic (math.LO)

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

Title: Model theory of second order logic

Jouko Väänänen

Subjects: Logic (math.LO)

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

Title: A free two-generated left distributive algebra of elementary embeddings

Andrew D. Brooke-Taylor, Scott Cramer, Sheila K. Miller Edwards

Comments: 26 pages

Subjects: Logic (math.LO)

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

Title: Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence

Mohsen Khani, Ali N. Valizadeh, Afshin Zarei

Subjects: Logic (math.LO)

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

Title: The Derivative of a Constructible Function is Constructible

Tobias Kaiser

Comments: Editorial Revisions

Subjects: Logic (math.LO); Algebraic Geometry (math.AG); Complex Variables (math.CV)

[8] arXiv:2508.02867 [pdf, html, other]

Title: Total Failure of Approachability at Successors of Singulars of Countable Cofinality

Hannes Jakob

Comments: 33 pages

Subjects: Logic (math.LO)

[9] arXiv:2508.03432 [pdf, html, other]

Title: Difference-restriction algebras with operators

Célia Borlido, Ganna Kudryavtseva, Brett McLean

Comments: 35 pages

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

[10] arXiv:2508.03499 [pdf, html, other]

Title: On the de Rham theorem in the globally subanalytic setting

Annette Huber, Tobias Kaiser, Abhishek Oswal

Comments: 27 pages. Comments are welcome!

Subjects: Logic (math.LO); Classical Analysis and ODEs (math.CA); Complex Variables (math.CV)

[11] arXiv:2508.03956 [pdf, html, other]

Title: Teasing apart definitional equivalence

Jason Chen, Toby Meadows

Subjects: Logic (math.LO)

[12] arXiv:2508.04374 [pdf, html, other]

Title: On Shelah's Approachability Ideal

Hannes Jakob, Alejandro Poveda

Subjects: Logic (math.LO)

[13] arXiv:2508.04851 [pdf, html, other]

Title: A Dichotomy for $k$-automatic expansions of Presburger Arithmetic

Jason Bell, Alexi Block Gorman, Chris Schulz

Comments: 23 pages

Subjects: Logic (math.LO); Formal Languages and Automata Theory (cs.FL)

[14] arXiv:2508.05682 [pdf, html, other]

Title: Structural Completeness in bi-IPC

Rodrigo Nicolau Almeida, Nick Bezhanishvili

Comments: 3 pages

Subjects: Logic (math.LO)

[15] arXiv:2508.05828 [pdf, html, other]

Title: Extension Monads: Some Structure Theorems

Danielle Bowerman, Matt Insall

Comments: In submission, 32 pages, 4 figures, and 11 tables

Subjects: Logic (math.LO); Rings and Algebras (math.RA)

[16] arXiv:2508.05951 [pdf, html, other]

Title: Isolated d.c.e. degrees and $Σ_1$ induction

Yiqun Liu, Yong Liu, Cheng Peng

Subjects: Logic (math.LO)

[17] arXiv:2508.06161 [pdf, html, other]

Title: Short Hardy fields

Matthias Aschenbrenner, Lou van den Dries

Comments: 13 pp

Subjects: Logic (math.LO); Commutative Algebra (math.AC); Classical Analysis and ODEs (math.CA); Number Theory (math.NT)

[18] arXiv:2508.06187 [pdf, html, other]

Title: A non-computable c.e. closed subset of $[0,1]$

Serikzhan Badaev, Nikolay Bazhenov, Sergey Goncharov, Birzhan Kalmurzayev, Alexander Melnikov

Comments: 19 pages, accepted to Journal of Logic and Computation

Subjects: Logic (math.LO)

[19] arXiv:2508.06370 [pdf, html, other]

Title: Extensive embeddings into Fraïssé structures and stationary weak independence relations

Aleksandra Kwiatkowska, Rob Sullivan, Jeroen Winkel

Comments: 30 pages

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

[20] arXiv:2508.06449 [pdf, html, other]

Title: Independence relations in the Solovay model I

Jindrich Zapletal

Subjects: Logic (math.LO)

[21] arXiv:2508.06854 [pdf, html, other]

Title: The number of countable models of first-order theories

Anand Pillay, Predrag Tanović

Comments: This is an expository-survey paper submitted to the Journal of Open Mathematical Problems

Subjects: Logic (math.LO)

[22] arXiv:2508.06876 [pdf, html, other]

Title: Construction of a valued field whose valuation ring is definable but neither $\exists\forall\exists$ nor $ \forall\exists\forall$-definable in the language of rings

Mohsen Khani, Shaghayegh Shirani, Zahra Yadegari, Afshin Zarei

Subjects: Logic (math.LO)

[23] arXiv:2508.06925 [pdf, html, other]

Title: Comparing Notions of Dense Computability on $ω^ω$ and $2^ω$

Peter M. Gerdes

Subjects: Logic (math.LO)

[24] arXiv:2508.07456 [pdf, other]

Title: A small ultrafilter number at all $\aleph_3\leqκ<\aleph_ω$

Julian Eshkol

Comments: Major error in lemma 6. The main result is incorrect

Subjects: Logic (math.LO)

[25] arXiv:2508.07509 [pdf, html, other]

Title: A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)

Aleksi Anttila, Rosalie Iemhoff, Fan Yang

Comments: 36 pages

Subjects: Logic (math.LO)