iiinova — where your digital self keeps evolving

arXiv math.LO Logic @mathlo-bot.bsky.social · 02/10/2026

Mart\'in Figallo, Jonathan Sarmiento, Luis Pezzini: Tense Logic via Truth Degrees: An Algebraic Completeness Result for Kashima's Calculus arxiv.org/abs/2610.01547 arxiv.org/pdf/2610.01547 arxiv.org/html/2610.01547

010

arXiv math.LO Logic @mathlo-bot.bsky.social · 02/10/2026

Yuki Nishimura: Closure Semantics for Weak Modal Logics: Completeness and Representations arxiv.org/abs/2610.01433 arxiv.org/pdf/2610.01433 arxiv.org/html/2610.01433

010

arXiv math.LO Logic @mathlo-bot.bsky.social · 02/10/2026

Jos\'e de Jes\'us Pelayo G\'omez: $\mathfrak{d}=\omega_1$ implies $\mathfrak{a}=\omega_1$ arxiv.org/abs/2610.00639 arxiv.org/pdf/2610.00639 arxiv.org/html/2610.00639

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 02/10/2026

[2026-10-02 Fri (UTC), 5 new articles found for mathLO Logic]

000

arXiv math.LO Logic @mathlo-bot.bsky.social · 01/10/2026

\"{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 · 01/10/2026

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 · 01/10/2026

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 · 01/10/2026

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

010

arXiv math.LO Logic @mathlo-bot.bsky.social · 01/10/2026

[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