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
Karol Duda: Hall's Harem Theorem with controlled sizes of cycles https://arxiv.org/abs/2511.20724 https://arxiv.org/pdf/2511.20724 https://arxiv.org/html/2511.20724
November 27, 2025 at 6:37 AM
Karol Duda: Hall's Harem Theorem with controlled sizes of cycles https://arxiv.org/abs/2511.20724 https://arxiv.org/pdf/2511.20724 https://arxiv.org/html/2511.20724
Brian Ransom: On BPI in Symmetric Extensions Part 1 https://arxiv.org/abs/2511.21684 https://arxiv.org/pdf/2511.21684 https://arxiv.org/html/2511.21684
November 27, 2025 at 6:39 AM
Brian Ransom: On BPI in Symmetric Extensions Part 1 https://arxiv.org/abs/2511.21684 https://arxiv.org/pdf/2511.21684 https://arxiv.org/html/2511.21684
Lorenzo Carlucci, Giordano Celli: Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $\Sigma^0_2$-induction: A pilot study https://arxiv.org/abs/2511.21481 https://arxiv.org/pdf/2511.21481 https://arxiv.org/html/2511.21481
November 27, 2025 at 6:39 AM
Lorenzo Carlucci, Giordano Celli: Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $\Sigma^0_2$-induction: A pilot study https://arxiv.org/abs/2511.21481 https://arxiv.org/pdf/2511.21481 https://arxiv.org/html/2511.21481
Rafa{\l} Gruszczy\'nski, Paula Mench\'on, William Zuluaga: Extended Contact Algebras: Algebraic analysis and duality theory https://arxiv.org/abs/2511.21396 https://arxiv.org/pdf/2511.21396 https://arxiv.org/html/2511.21396
November 27, 2025 at 6:39 AM
Rafa{\l} Gruszczy\'nski, Paula Mench\'on, William Zuluaga: Extended Contact Algebras: Algebraic analysis and duality theory https://arxiv.org/abs/2511.21396 https://arxiv.org/pdf/2511.21396 https://arxiv.org/html/2511.21396
Milan Rosko: A Constructive Fragment of Physical Propositions https://arxiv.org/abs/2511.21296 https://arxiv.org/pdf/2511.21296 https://arxiv.org/html/2511.21296
November 27, 2025 at 6:39 AM
Milan Rosko: A Constructive Fragment of Physical Propositions https://arxiv.org/abs/2511.21296 https://arxiv.org/pdf/2511.21296 https://arxiv.org/html/2511.21296
Hanamantagouda P. Sankappanavar: Unorthodox Algebras and their associated Unorthodox Logics https://arxiv.org/abs/2511.21030 https://arxiv.org/pdf/2511.21030 https://arxiv.org/html/2511.21030
November 27, 2025 at 6:39 AM
Hanamantagouda P. Sankappanavar: Unorthodox Algebras and their associated Unorthodox Logics https://arxiv.org/abs/2511.21030 https://arxiv.org/pdf/2511.21030 https://arxiv.org/html/2511.21030
Matthew Frank: The Dual of Quantifier Elimination: Boolean Elimination over C and R https://arxiv.org/abs/2511.20743 https://arxiv.org/pdf/2511.20743 https://arxiv.org/html/2511.20743
November 27, 2025 at 6:39 AM
Matthew Frank: The Dual of Quantifier Elimination: Boolean Elimination over C and R https://arxiv.org/abs/2511.20743 https://arxiv.org/pdf/2511.20743 https://arxiv.org/html/2511.20743
[2025-11-27 Thu (UTC), 6 new articles found for mathLO Logic]
November 27, 2025 at 6:39 AM
[2025-11-27 Thu (UTC), 6 new articles found for mathLO Logic]
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]