Logic

Authors and titles for August 2025

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

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

Title: Dimension and topology in transserial tame pairs

Nigel Pynn-Coates

Comments: 31 pages; v2: clarifications and corrections

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

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

Title: Separating Maximality Principles

Takehiko Gappo, Andreas Lietz

Comments: 29 pages

Subjects: Logic (math.LO)

[54] arXiv:2508.16892 [pdf, html, other]

Title: A Variant Of Chaitin's Omega function

Yuxuan Li, Shuheng Zhang, Xiaoyan Zhang, Xuanheng Zhao

Subjects: Logic (math.LO)

[55] arXiv:2508.17168 [pdf, html, other]

Title: A short nonstandard proof of the Doob-Meyer and Dol{é}ans-Dade theorems

Takashi Matsunaga

Subjects: Logic (math.LO)

[56] arXiv:2508.17485 [pdf, html, other]

Title: Decidability of some complicated structures definable in $\mathbb{C}(t)$

Thomas Scanlon

Subjects: Logic (math.LO); Algebraic Geometry (math.AG); Number Theory (math.NT)

[57] arXiv:2508.17672 [pdf, html, other]

Title: New inner models from second order logics

Menachem Magidor, Jouko Väänänen

Subjects: Logic (math.LO)

[58] arXiv:2508.18266 [pdf, html, other]

Title: On models of affine arithmetic

Seyed-Mohammad Bagheri

Subjects: Logic (math.LO)

[59] arXiv:2508.18558 [pdf, html, other]

Title: Topologically 1-based T-minimal Structures

Benjamin Castle, Assaf Hasson, Will Johnson

Comments: Appendix B by Will Johnson

Subjects: Logic (math.LO)

[60] arXiv:2508.18559 [pdf, html, other]

Title: Borel Polychromatic Number of Grids

Katalin Berlow, Edward Hou

Comments: 13 pages, 3 figures

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

[61] arXiv:2508.18900 [pdf, html, other]

Title: Uniformization of ladder system colorings and stationary precaliber forcings

Yushiro Aoki

Subjects: Logic (math.LO)

[62] arXiv:2508.19426 [pdf, html, other]

Title: The category of propositional deductive systems

Ciro Russo

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

[63] arXiv:2508.19524 [pdf, html, other]

Title: Definable Galois theory for bimeromorphic geometry

Rahim Moosa, Anand Pillay

Comments: 33 pages

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

[64] arXiv:2508.20346 [pdf, html, other]

Title: Consistency formula is strictly stronger in PA than PA-consistency

Sergei Artemov

Subjects: Logic (math.LO)

[65] arXiv:2508.20641 [pdf, html, other]

Title: Plenitudinous Urelements and the Definability of Cardinality

Bokai Yao

Subjects: Logic (math.LO)

[66] arXiv:2508.20849 [pdf, html, other]

Title: An approximate zero-one law via the Dialectica interpretation

Thomas Powell, Alex Wan

Comments: 19 pages

Subjects: Logic (math.LO); Probability (math.PR)

[67] arXiv:2508.21105 [pdf, html, other]

Title: Abstraction Principles and the Size of Reality

Bokai Yao

Subjects: Logic (math.LO)

[68] arXiv:2508.21202 [pdf, html, other]

Title: Internal Categoricity and the Generic Multiverse

Toby Meadows

Subjects: Logic (math.LO)

[69] arXiv:2508.21500 [pdf, html, other]

Title: Unital Specker $\ell$-groups and boolean multispaces

Marco Abbadini, Daniele Mundici

Subjects: Logic (math.LO)

[70] arXiv:2508.21807 [pdf, html, other]

Title: Epsilon-saturation for stable graphs and Littlestone classes

Maryanthe Malliaris, Olga Medrano Martín del Campo, Shay Moran

Comments: 30 pages, 2 figures

Subjects: Logic (math.LO); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

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

Title: Reasoning under uncertainty in the game of Cops and Robbers

Dazhu Li, Sujata Ghosh, Fenrong Liu

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

[72] arXiv:2508.00294 (cross-list from math.PR) [pdf, html, other]

Title: Formal Power Series Representations in Probability and Expected Utility Theory

Arthur Paul Pedersen, Samuel Allen Alexander

Subjects: Probability (math.PR); Artificial Intelligence (cs.AI); Theoretical Economics (econ.TH); Logic (math.LO); Statistics Theory (math.ST)

[73] arXiv:2508.02828 (cross-list from math.PR) [pdf, html, other]

Title: A probabilistic look at the infinite hat-guessing game

Nathaniel Eldredge

Comments: 18 pages

Subjects: Probability (math.PR); Logic (math.LO)

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

Title: Basic interactive algorithms: Preview

Yuri Gurevich

Journal-ref: The Bulletin of the EATCS, volume 146, June 2025

Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL); Logic (math.LO); Quantum Physics (quant-ph)

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

Title: Averages of hypergraphs and higher arity stability

Artem Chernikov, Henry Towsner

Comments: 31 pages, 1 figure

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