Michael Lange: Some More Rigid Real Closed Fields https://arxiv.org/abs/2608.16766 https://arxiv.org/pdf/2608.16766 https://arxiv.org/html/2608.16766
arXiv math.LO Logic
@mathlo-bot.bsky.social
Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/math.LO/new List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
Rishi Banerjee: Infinitary positive existential normal forms for modules https://arxiv.org/abs/2608.16692 https://arxiv.org/pdf/2608.16692 https://arxiv.org/html/2608.16692
Junhong Chen: On Weak Set Theories Interpreted in PA https://arxiv.org/abs/2608.16685 https://arxiv.org/pdf/2608.16685 https://arxiv.org/html/2608.16685
Martina Iannella, Vadim Weinstein: Borel classification of simplicial complexes and non-compact $2$- and $3$-manifolds https://arxiv.org/abs/2608.16400 https://arxiv.org/pdf/2608.16400 https://arxiv.org/html/2608.16400
Bryan Ford: Internalized Truth in Reflective Grounded Arithmetic https://arxiv.org/abs/2608.16140 https://arxiv.org/pdf/2608.16140 https://arxiv.org/html/2608.16140
Yi Zhang: Counterexamples to the Generalized Gaifman Conjecture https://arxiv.org/abs/2608.16099 https://arxiv.org/pdf/2608.16099 https://arxiv.org/html/2608.16099
Georgii Sirotenko, Ivan Titov: S2a-reducibility and differentiation in Martin-L\"of random reals https://arxiv.org/abs/2608.15750 https://arxiv.org/pdf/2608.15750 https://arxiv.org/html/2608.15750
Su Gao, Xiangxi Hu, Jie Zou: Borel graphs generated by commuting functions https://arxiv.org/abs/2608.15422 https://arxiv.org/pdf/2608.15422 https://arxiv.org/html/2608.15422
Mohammad Assem Mahmoud: $\omega_1$-anchored labels in minimal counterexamples to Vaught's conjecture: a per-witness trichotomy and an unconditional stationary dichotomy https://arxiv.org/abs/2608.15044 https://arxiv.org/pdf/2608.15044 https://arxiv.org/html/2608.15044
[2026-08-18 Tue (UTC), 9 new articles found for mathLO Logic]
Tyler Arant: Strongly relativizing reals https://arxiv.org/abs/2608.14488 https://arxiv.org/pdf/2608.14488 https://arxiv.org/html/2608.14488
Kenji Tokuo: Multimodal Logic Programming with Full Formulas https://arxiv.org/abs/2608.14297 https://arxiv.org/pdf/2608.14297 https://arxiv.org/html/2608.14297
Xiaoduo Wang: Definability of Hausdorff Limits for Lipschitz Cells in O-minimal Structures https://arxiv.org/abs/2608.14033 https://arxiv.org/pdf/2608.14033 https://arxiv.org/html/2608.14033
Ulvi Yurtsever: Does the Hardin-Taylor Predictor Actually Predict the Future? Yes; but Only in Retrospect https://arxiv.org/abs/2608.13899 https://arxiv.org/pdf/2608.13899 https://arxiv.org/html/2608.13899
Owen Ngo Hang Chan: Hyperimaginaries and Exactness of the Pro-Completion https://arxiv.org/abs/2608.13657 https://arxiv.org/pdf/2608.13657 https://arxiv.org/html/2608.13657
[2026-08-17 Mon (UTC), 5 new articles found for mathLO Logic]
Peter Ban\'a\v{s}: Comeager hereditary families of compact sets are big https://arxiv.org/abs/2608.13523 https://arxiv.org/pdf/2608.13523 https://arxiv.org/html/2608.13523
Mohammad Golshani: Martin's axiom and $\omega_1^2 \longrightarrow (\omega_1^2, 3)^2$ https://arxiv.org/abs/2608.13213 https://arxiv.org/pdf/2608.13213 https://arxiv.org/html/2608.13213
Naoya Kato: Non-derivability of Euclidean Division in $\mathrm{PA}_{\mathrm{smu}}^{-}$ https://arxiv.org/abs/2608.12891 https://arxiv.org/pdf/2608.12891 https://arxiv.org/html/2608.12891
Jonathan Feigert, Daniel Herden, Marcos Mazari-Armida: On the abstract elementary class of acts with pure embeddings https://arxiv.org/abs/2608.12631 https://arxiv.org/pdf/2608.12631 https://arxiv.org/html/2608.12631
[2026-08-14 Fri (UTC), 5 new articles found for mathLO Logic]
Tan \"Ozalp: Canonical equivalence relations on $\mathrm{FIN}^{[\infty]}_2$ https://arxiv.org/abs/2608.11326 https://arxiv.org/pdf/2608.11326 https://arxiv.org/html/2608.11326
[2026-08-13 Thu (UTC), 1 new article found for mathLO Logic]
Sergio Celani, Paula Mench\'on, Valeria Miguelez: A Modal Expansion of Kleene Algebras via Twist Structures https://arxiv.org/abs/2608.10937 https://arxiv.org/pdf/2608.10937 https://arxiv.org/html/2608.10937
Eugene Zhang: Predicate and Set Bundles in Multi-valued Logic https://arxiv.org/abs/2608.10221 https://arxiv.org/pdf/2608.10221 https://arxiv.org/html/2608.10221
[2026-08-12 Wed (UTC), 2 new articles found for mathLO Logic]
Tomasz Kania: Approximate homomorphisms on orthomodular lattices https://arxiv.org/abs/2608.08723 https://arxiv.org/pdf/2608.08723 https://arxiv.org/html/2608.08723
Yilong Zhang: Raising to powers on the unit circle https://arxiv.org/abs/2608.08655 https://arxiv.org/pdf/2608.08655 https://arxiv.org/html/2608.08655
Haosui Duanmu, Xinyu Liu, David Schrittesser: Loeb Equivalence for General Internal Probability Spaces https://arxiv.org/abs/2608.08581 https://arxiv.org/pdf/2608.08581 https://arxiv.org/html/2608.08581