Logic

Authors and titles for recent submissions

• Mon, 25 Aug 2025
• Fri, 22 Aug 2025
• Thu, 21 Aug 2025
• Wed, 20 Aug 2025
• Tue, 19 Aug 2025

See today's new changes

Mon, 25 Aug 2025 (showing 4 of 4 entries )

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

Title: Separating Maximality Principles

Takehiko Gappo, Andreas Lietz

Comments: 29 pages

Subjects: Logic (math.LO)

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

Title: Dimension and topology in transserial tame pairs

Nigel Pynn-Coates

Comments: 31 pages

Subjects: Logic (math.LO); Commutative Algebra (math.AC)

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

Title: Compactness in abelian group theory

Filippo Calderoni, Ava Ostrem

Comments: 8 pages. Comments are welcome

Subjects: Logic (math.LO)

[4] arXiv:2508.16014 (cross-list from cs.CC) [pdf, other]

Title: Prover-Adversary games for systems over (non-deterministic) branching programs

Anupam Das, Avgerinos Delkos

Comments: 34 pages, 8 figures

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

Fri, 22 Aug 2025 (showing 4 of 4 entries )

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

Title: Ramsey-like theorems and immunities

Ahmed Mimouni, Ludovic Patey

Comments: 39 pages

Subjects: Logic (math.LO)

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

Title: Existential completions and Herbrand's theorem

Joshua L. Wrigley

Comments: 27 pages

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

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

Title: Infinite convex geometries with lower semi-modularity and join semi-distributivity

Adam Mata

Subjects: Logic (math.LO)

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

Title: Largeness and generalized t-henselianity

Will Johnson

Comments: 17 pages. Addendum to arXiv:2508.10886 [math.LO]

Subjects: Logic (math.LO); Commutative Algebra (math.AC)

Thu, 21 Aug 2025 (showing 4 of 4 entries )

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

Title: The fractal Goodstein principle

David Fernández-Duque, Andreas Weiermann

Subjects: Logic (math.LO)

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

Title: Completions of Restricted Complexity I, Weak Arithmetical Theories

Ali Enayat, Mateusz Łełyk, Albert Visser

Subjects: Logic (math.LO)

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

Title: The Galvin property at $κ^{++}$ and not at $κ^+$

Moti Gitik, Shachar Herpe

Subjects: Logic (math.LO)

[12] arXiv:2508.14271 (cross-list from cs.DC) [pdf, html, other]

Title: Pure Data Spaces

Saul Youssef

Comments: 26 pages

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic (math.LO)

Wed, 20 Aug 2025 (showing 3 of 3 entries )

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

Title: Generic derivations, differential largeness, and NTP$_2$

Elliot Kaplan, Christoph Kesting

Comments: 7 pages, comments are welcome

Subjects: Logic (math.LO)

[14] arXiv:2508.13334 [pdf, other]

Title: Higher arithmetic on the ordinals

Adrian Ducourtial

Comments: 9 pages

Subjects: Logic (math.LO)

[15] arXiv:2508.13195 (cross-list from cs.LO) [pdf, html, other]

Title: Arithmetics within the Linear Time Hierarchy

Chris Pollett

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

Tue, 19 Aug 2025 (showing 5 of 5 entries )

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

Title: The Uniform Functional Interpretation with Informative Types

Fernando Ferreira, Paulo Oliva

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

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

Title: A Logic of Stability: Formalizing Similarity in Counterfactual Reasoning

Marta Esteves

Subjects: Logic (math.LO)

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

Title: Dominating numbers at singular cardinals

Yusuke Hayashi

Subjects: Logic (math.LO)

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

Title: Filling in the semantics for intuitionistic conditional logic

Brendan Dufty, Jim de Groot

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

[20] arXiv:2508.11973 (cross-list from math.GR) [pdf, html, other]

Title: A robust family of residually finite groups; spectra of residual finiteness growth, computability properties, and other applications (with an appendix by Arman Darbinyan and Emmanuel Rauzy)

Arman Darbinyan, Emmanuel Rauzy

Comments: Main text by Arman Darbinyan. Appendix by Arman Darbinyan and Emmanuel Rauzy

Subjects: Group Theory (math.GR); Logic (math.LO)