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
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
Reposted by arXiv math.LO Logic
Srivatsav Kunnawalkam Elayavalli: 50 Open Problems: Ultraproduct II$_1$ factors https://arxiv.org/abs/2511.20377 https://arxiv.org/pdf/2511.20377 https://arxiv.org/html/2511.20377
November 26, 2025 at 6:40 AM
Srivatsav Kunnawalkam Elayavalli: 50 Open Problems: Ultraproduct II$_1$ factors https://arxiv.org/abs/2511.20377 https://arxiv.org/pdf/2511.20377 https://arxiv.org/html/2511.20377
Reposted by arXiv math.LO Logic
Tenyo Takahashi: Chopping More Finely: Finite Countermodels in Modal Logic via the Subdivision Construction https://arxiv.org/abs/2511.19747 https://arxiv.org/pdf/2511.19747 https://arxiv.org/html/2511.19747
November 26, 2025 at 6:33 AM
Tenyo Takahashi: Chopping More Finely: Finite Countermodels in Modal Logic via the Subdivision Construction https://arxiv.org/abs/2511.19747 https://arxiv.org/pdf/2511.19747 https://arxiv.org/html/2511.19747
Dmitry M. Anishchenko: On Modal Companions of Logics with Strong Negation https://arxiv.org/abs/2511.20512 https://arxiv.org/pdf/2511.20512 https://arxiv.org/html/2511.20512
November 26, 2025 at 6:39 AM
Dmitry M. Anishchenko: On Modal Companions of Logics with Strong Negation https://arxiv.org/abs/2511.20512 https://arxiv.org/pdf/2511.20512 https://arxiv.org/html/2511.20512
Jules Tindzogho Ntsiri, Samuel Zamour: Cartan subrings in soluble ranked Lie rings https://arxiv.org/abs/2511.20323 https://arxiv.org/pdf/2511.20323 https://arxiv.org/html/2511.20323
November 26, 2025 at 6:39 AM
Jules Tindzogho Ntsiri, Samuel Zamour: Cartan subrings in soluble ranked Lie rings https://arxiv.org/abs/2511.20323 https://arxiv.org/pdf/2511.20323 https://arxiv.org/html/2511.20323
Stefan Marian Ludwig: Pseudofinite fields with additive and multiplicative character https://arxiv.org/abs/2511.20243 https://arxiv.org/pdf/2511.20243 https://arxiv.org/html/2511.20243
November 26, 2025 at 6:39 AM
Stefan Marian Ludwig: Pseudofinite fields with additive and multiplicative character https://arxiv.org/abs/2511.20243 https://arxiv.org/pdf/2511.20243 https://arxiv.org/html/2511.20243
Pedro Marun, Saharon Shelah, Corey Bacal Switzer: Adding $\aleph_\omega$ many Cohen reals https://arxiv.org/abs/2511.19721 https://arxiv.org/pdf/2511.19721 https://arxiv.org/html/2511.19721
November 26, 2025 at 6:39 AM
Pedro Marun, Saharon Shelah, Corey Bacal Switzer: Adding $\aleph_\omega$ many Cohen reals https://arxiv.org/abs/2511.19721 https://arxiv.org/pdf/2511.19721 https://arxiv.org/html/2511.19721
[2025-11-26 Wed (UTC), 4 new articles found for mathLO Logic]
November 26, 2025 at 6:39 AM
[2025-11-26 Wed (UTC), 4 new articles found for mathLO Logic]
Reposted by arXiv math.LO Logic
Chrysafis Hartonas: A General (Uniform) Relational Semantics for Sentential Logics https://arxiv.org/abs/2511.18458 https://arxiv.org/pdf/2511.18458 https://arxiv.org/html/2511.18458
November 25, 2025 at 6:32 AM
Chrysafis Hartonas: A General (Uniform) Relational Semantics for Sentential Logics https://arxiv.org/abs/2511.18458 https://arxiv.org/pdf/2511.18458 https://arxiv.org/html/2511.18458
Reposted by arXiv math.LO Logic
Isaac Goldbring, Fabrice Nonez: A nonstandard approach to the direct integral version of the Spectral Theorem https://arxiv.org/abs/2511.18189 https://arxiv.org/pdf/2511.18189 https://arxiv.org/html/2511.18189
November 25, 2025 at 6:40 AM
Isaac Goldbring, Fabrice Nonez: A nonstandard approach to the direct integral version of the Spectral Theorem https://arxiv.org/abs/2511.18189 https://arxiv.org/pdf/2511.18189 https://arxiv.org/html/2511.18189
Jeremy Beard: Long limit models are isomorphic assuming a splitting-like relation https://arxiv.org/abs/2511.18665 https://arxiv.org/pdf/2511.18665 https://arxiv.org/html/2511.18665
November 25, 2025 at 6:39 AM
Jeremy Beard: Long limit models are isomorphic assuming a splitting-like relation https://arxiv.org/abs/2511.18665 https://arxiv.org/pdf/2511.18665 https://arxiv.org/html/2511.18665
Yusei Fukumoto: Nonstandard Witnesses and Observational Barriers for {\Pi}0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void https://arxiv.org/abs/2511.18266 https://arxiv.org/pdf/2511.18266 https://arxiv.org/html/2511.18266
November 25, 2025 at 6:39 AM
Yusei Fukumoto: Nonstandard Witnesses and Observational Barriers for {\Pi}0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void https://arxiv.org/abs/2511.18266 https://arxiv.org/pdf/2511.18266 https://arxiv.org/html/2511.18266
[2025-11-25 Tue (UTC), 2 new articles found for mathLO Logic]
November 25, 2025 at 6:39 AM
[2025-11-25 Tue (UTC), 2 new articles found for mathLO Logic]
Reposted by arXiv math.LO Logic
Benjamin Przybocki, Guilherme V. Toledo, Yoni Zohar: Characterizing Sets of Theories That Can Be Disjointly Combined https://arxiv.org/abs/2511.17374 https://arxiv.org/pdf/2511.17374 https://arxiv.org/html/2511.17374
November 24, 2025 at 6:32 AM
Benjamin Przybocki, Guilherme V. Toledo, Yoni Zohar: Characterizing Sets of Theories That Can Be Disjointly Combined https://arxiv.org/abs/2511.17374 https://arxiv.org/pdf/2511.17374 https://arxiv.org/html/2511.17374
Reposted by arXiv math.LO Logic
Joseph McDonald: Cylindric quasi-implication algebras https://arxiv.org/abs/2511.16968 https://arxiv.org/pdf/2511.16968 https://arxiv.org/html/2511.16968
November 24, 2025 at 6:40 AM
Joseph McDonald: Cylindric quasi-implication algebras https://arxiv.org/abs/2511.16968 https://arxiv.org/pdf/2511.16968 https://arxiv.org/html/2511.16968
Reposted by arXiv math.LO Logic
T. Jarmuzek, R. Gore: Tableau methodology for propositional logics https://arxiv.org/abs/2511.16781 https://arxiv.org/pdf/2511.16781 https://arxiv.org/html/2511.16781
November 24, 2025 at 6:32 AM
T. Jarmuzek, R. Gore: Tableau methodology for propositional logics https://arxiv.org/abs/2511.16781 https://arxiv.org/pdf/2511.16781 https://arxiv.org/html/2511.16781
Reposted by arXiv math.LO Logic
Patrick Barlatier, Richard Dapoigny: A Coq-based Axiomatization of Tarski's Mereogeometry https://arxiv.org/abs/2511.16705 https://arxiv.org/pdf/2511.16705 https://arxiv.org/html/2511.16705
November 24, 2025 at 6:32 AM
Patrick Barlatier, Richard Dapoigny: A Coq-based Axiomatization of Tarski's Mereogeometry https://arxiv.org/abs/2511.16705 https://arxiv.org/pdf/2511.16705 https://arxiv.org/html/2511.16705
[2025-11-24 Mon (UTC), no new articles found for mathLO Logic]
November 24, 2025 at 6:39 AM
[2025-11-24 Mon (UTC), no new articles found for mathLO Logic]
Reposted by arXiv math.LO Logic
Akihiko Arai: On the isomorphism problem for ultraproducts of $\mathrm{C}^*$-algebras in continuous model theory https://arxiv.org/abs/2511.15867 https://arxiv.org/pdf/2511.15867 https://arxiv.org/html/2511.15867
November 21, 2025 at 6:39 AM
Akihiko Arai: On the isomorphism problem for ultraproducts of $\mathrm{C}^*$-algebras in continuous model theory https://arxiv.org/abs/2511.15867 https://arxiv.org/pdf/2511.15867 https://arxiv.org/html/2511.15867
Reposted by arXiv math.LO Logic
Jashan Bal: Projectivity in topological dynamics https://arxiv.org/abs/2511.14944 https://arxiv.org/pdf/2511.14944 https://arxiv.org/html/2511.14944
November 20, 2025 at 6:37 AM
Jashan Bal: Projectivity in topological dynamics https://arxiv.org/abs/2511.14944 https://arxiv.org/pdf/2511.14944 https://arxiv.org/html/2511.14944
Reposted by arXiv math.LO Logic
Manuel Mancini, Giuseppe Metere, Federica Piazza: Coherent and ideal actions in ideally exact categories https://arxiv.org/abs/2507.06124 https://arxiv.org/pdf/2507.06124 https://arxiv.org/html/2507.06124
July 9, 2025 at 6:37 AM
Manuel Mancini, Giuseppe Metere, Federica Piazza: Coherent and ideal actions in ideally exact categories https://arxiv.org/abs/2507.06124 https://arxiv.org/pdf/2507.06124 https://arxiv.org/html/2507.06124
Haruka Kogure: Provability interpretation of non-normal modal logics having neighborhood semantics https://arxiv.org/abs/2511.16488 https://arxiv.org/pdf/2511.16488 https://arxiv.org/html/2511.16488
November 21, 2025 at 6:39 AM
Haruka Kogure: Provability interpretation of non-normal modal logics having neighborhood semantics https://arxiv.org/abs/2511.16488 https://arxiv.org/pdf/2511.16488 https://arxiv.org/html/2511.16488
Vincenzo Dimonte, Luca Motto Ros: Generalized Descriptive Set Theory at Singular Cardinals of Countable Cofinality https://arxiv.org/abs/2511.16188 https://arxiv.org/pdf/2511.16188 https://arxiv.org/html/2511.16188
November 21, 2025 at 6:39 AM
Vincenzo Dimonte, Luca Motto Ros: Generalized Descriptive Set Theory at Singular Cardinals of Countable Cofinality https://arxiv.org/abs/2511.16188 https://arxiv.org/pdf/2511.16188 https://arxiv.org/html/2511.16188
[2025-11-21 Fri (UTC), 2 new articles found for mathLO Logic]
November 21, 2025 at 6:39 AM
[2025-11-21 Fri (UTC), 2 new articles found for mathLO Logic]
Claudio Agostini, Nick Chapman, Luca Motto Ros, Beatrice Pitton: Generalized Borel Sets https://arxiv.org/abs/2511.15663 https://arxiv.org/pdf/2511.15663 https://arxiv.org/html/2511.15663
November 20, 2025 at 6:39 AM
Claudio Agostini, Nick Chapman, Luca Motto Ros, Beatrice Pitton: Generalized Borel Sets https://arxiv.org/abs/2511.15663 https://arxiv.org/pdf/2511.15663 https://arxiv.org/html/2511.15663
Haruka Kogure, Taishi Kurahashi: Modal logical aspects of provability predicates and consistency statements https://arxiv.org/abs/2511.15531 https://arxiv.org/pdf/2511.15531 https://arxiv.org/html/2511.15531
November 20, 2025 at 6:39 AM
Haruka Kogure, Taishi Kurahashi: Modal logical aspects of provability predicates and consistency statements https://arxiv.org/abs/2511.15531 https://arxiv.org/pdf/2511.15531 https://arxiv.org/html/2511.15531