iiinova — where your digital self keeps evolving

arXiv math.LO Logic @mathlo-bot.bsky.social · 9h

\"{O}zlem Beyarslan, Piotr Kowalski: PAC fields and difference fields with generic automorphisms arxiv.org/abs/2609.40251 arxiv.org/pdf/2609.40251 arxiv.org/html/2609.40251

010

arXiv math.LO Logic @mathlo-bot.bsky.social · 9h

Bruno Le Floch: Lattice of 456 semigroup varieties from equations of order up to 4 arxiv.org/abs/2609.39872 arxiv.org/pdf/2609.39872 arxiv.org/html/2609.39872

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 9h

Ruijun Wang: Continuous graph homomorphisms of higher dimensional abelian group actions arxiv.org/abs/2609.39824 arxiv.org/pdf/2609.39824 arxiv.org/html/2609.39824

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 9h

Aidan Healy, Bartek Klin: Karp's NP-complete problems over first-order definable structures arxiv.org/abs/2609.38436 arxiv.org/pdf/2609.38436 arxiv.org/html/2609.38436

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 9h

[2026-10-01 Thu (UTC), 7 new articles found for mathLO Logic]

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 30/09/2026

Patrizio Cintioli: A Special $\Pi^0_1$ Class with the Join Property but without Pseudojump Inversion arxiv.org/abs/2609.37480 arxiv.org/pdf/2609.37480 arxiv.org/html/2609.37480

010

arXiv math.LO Logic @mathlo-bot.bsky.social · 30/09/2026

Joonhee Kim: $n$-variable theorems for dividing lines characterized by positive consistency-inconsistency configurations, and their applications to preservation problems arxiv.org/abs/2609.36394 arxiv.org/pdf/2609.36394 arxiv.org/html/2609.36394

010

arXiv math.LO Logic @mathlo-bot.bsky.social · 30/09/2026

[2026-09-30 Wed (UTC), 4 new articles found for mathLO Logic]

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 29/09/2026

Ivo Herzog, Gianluca Paolini, Saharon Shelah: Kaplansky decompositions of Polish modules arxiv.org/abs/2609.34505 arxiv.org/pdf/2609.34505 arxiv.org/html/2609.34505

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 29/09/2026

Anthony Li, Ishin Shan, Matthew Snodgrass, Riley Thornton, Rui Zhou: Compactness Principles for CSPs and the Axiom of Chocie arxiv.org/abs/2609.33873 arxiv.org/pdf/2609.33873 arxiv.org/html/2609.33873

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 29/09/2026

Philipp L\"ucke, Alejandro Poveda: The effects of forcing on exacting and ultraexacting cardinals arxiv.org/abs/2609.32338 arxiv.org/pdf/2609.32338 arxiv.org/html/2609.32338

010

arXiv math.LO Logic @mathlo-bot.bsky.social · 29/09/2026

Michel Gaspar: Oracle-Tree Forcing and Wilfs Inequality for Thirteen Left Elements arxiv.org/abs/2609.32078 arxiv.org/pdf/2609.32078 arxiv.org/html/2609.32078

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 29/09/2026

[2026-09-29 Tue (UTC), 7 new articles found for mathLO Logic]

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 28/09/2026

[2026-09-28 Mon (UTC), 2 new articles found for mathLO Logic]

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 25/09/2026

Yawara Ishida, Ryosuke Mizuno, Kota Takeuchi: Existence of a Model Companion for Groups of Exponent 3 arxiv.org/abs/2609.30061 arxiv.org/pdf/2609.30061 arxiv.org/html/2609.30061

010

arXiv math.LO Logic @mathlo-bot.bsky.social · 25/09/2026

Mohammad Golshani: Completeness of the G\"odel--L\"ob Provability Logic for Finite Derived Ordinal Topologies arxiv.org/abs/2609.29708 arxiv.org/pdf/2609.29708 arxiv.org/html/2609.29708

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 25/09/2026

Aleksander Cie\'slak: Combinatorics of translations of meager and closed measure zero sets arxiv.org/abs/2609.28669 arxiv.org/pdf/2609.28669 arxiv.org/html/2609.28669

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 25/09/2026

Milo\v{s} S. Kurili\'c: Vaught's Conjecture for Sums of Products of Rooted Trees arxiv.org/abs/2609.28606 arxiv.org/pdf/2609.28606 arxiv.org/html/2609.28606

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 25/09/2026

[2026-09-25 Fri (UTC), 7 new articles found for mathLO Logic]

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 24/09/2026

Loic Cosyns: On the foundations of logic and probability, I. Modal sentential calculi arxiv.org/abs/2609.28104 arxiv.org/pdf/2609.28104 arxiv.org/html/2609.28104

001

arXiv math.LO Logic @mathlo-bot.bsky.social · 24/09/2026

Qi Wu, Yong Lu: A cardinal trichotomy for topological equivalence classes of countable trees arxiv.org/abs/2609.27872 arxiv.org/pdf/2609.27872 arxiv.org/html/2609.27872

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 24/09/2026

Jinmin Wang, Jing Yu, Jingming Zhu: Asymptotic dimension of commutative monoid actions arxiv.org/abs/2609.26954 arxiv.org/pdf/2609.26954 arxiv.org/html/2609.26954

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 24/09/2026

[2026-09-24 Thu (UTC), 4 new articles found for mathLO Logic]

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 23/09/2026

Xing-Yu Hu: Bistationary Traces, Wide Levels, and Branch-Cover Rigidity for an Unrestricted Typed Variant of the Hayut-Magidor Forcing arxiv.org/abs/2609.25033 arxiv.org/pdf/2609.25033 arxiv.org/html/2609.25033

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 23/09/2026

[2026-09-23 Wed (UTC), 7 new articles found for mathLO Logic]

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 22/09/2026

Ruiting Jiang: Finite Spectra of Syllogistic Logic with Cardinality Comparisons arxiv.org/abs/2609.24902 arxiv.org/pdf/2609.24902 arxiv.org/html/2609.24902

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 22/09/2026

Mojtaba Mojtahedi, Fedor Pakhomov, Giovanni Sold\`a: Infinitary provability logic arxiv.org/abs/2609.24795 arxiv.org/pdf/2609.24795 arxiv.org/html/2609.24795

010

arXiv math.LO Logic @mathlo-bot.bsky.social · 22/09/2026

Justus Becker: A translation of Maehara's "Eine Darstellung der Intuitionistischen Logik in der Klassischen" arxiv.org/abs/2609.24673 arxiv.org/pdf/2609.24673 arxiv.org/html/2609.24673

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 22/09/2026

Olga Kharlampovich, Rizos Sklinos: The theory of nonabelian free groups has no model companion arxiv.org/abs/2609.24333 arxiv.org/pdf/2609.24333 arxiv.org/html/2609.24333

010

arXiv math.LO Logic @mathlo-bot.bsky.social · 22/09/2026

Gunnar Wilken: Uniform generalization of Goodstein's theorem and Cichon's independence proof arxiv.org/abs/2609.24214 arxiv.org/pdf/2609.24214 arxiv.org/html/2609.24214

000