arxiv math.LO
@arxiv-math-lo.bsky.social
Mathematics -- Logic (math.LO)
source: https://export.arxiv.org/rss/math.LO
maintainer: @tmaehara.bsky.social
source: https://export.arxiv.org/rss/math.LO
maintainer: @tmaehara.bsky.social
Matthew Frank
The Dual of Quantifier Elimination: Boolean Elimination over C and R
https://arxiv.org/abs/2511.20743
The Dual of Quantifier Elimination: Boolean Elimination over C and R
https://arxiv.org/abs/2511.20743
November 27, 2025 at 5:09 AM
Matthew Frank
The Dual of Quantifier Elimination: Boolean Elimination over C and R
https://arxiv.org/abs/2511.20743
The Dual of Quantifier Elimination: Boolean Elimination over C and R
https://arxiv.org/abs/2511.20743
Hanamantagouda P. Sankappanavar
Unorthodox Algebras and their associated Unorthodox Logics
https://arxiv.org/abs/2511.21030
Unorthodox Algebras and their associated Unorthodox Logics
https://arxiv.org/abs/2511.21030
November 27, 2025 at 5:08 AM
Hanamantagouda P. Sankappanavar
Unorthodox Algebras and their associated Unorthodox Logics
https://arxiv.org/abs/2511.21030
Unorthodox Algebras and their associated Unorthodox Logics
https://arxiv.org/abs/2511.21030
November 27, 2025 at 5:08 AM
Rafa{\l} Gruszczy\'nski, Paula Mench\'on, William Zuluaga
Extended Contact Algebras: Algebraic analysis and duality theory
https://arxiv.org/abs/2511.21396
Extended Contact Algebras: Algebraic analysis and duality theory
https://arxiv.org/abs/2511.21396
November 27, 2025 at 5:07 AM
Rafa{\l} Gruszczy\'nski, Paula Mench\'on, William Zuluaga
Extended Contact Algebras: Algebraic analysis and duality theory
https://arxiv.org/abs/2511.21396
Extended Contact Algebras: Algebraic analysis and duality theory
https://arxiv.org/abs/2511.21396
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
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
November 27, 2025 at 5:07 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
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
November 27, 2025 at 5:06 AM
Pedro Marun, Saharon Shelah, Corey Bacal Switzer
Adding $\aleph_\omega$ many Cohen reals
https://arxiv.org/abs/2511.19721
Adding $\aleph_\omega$ many Cohen reals
https://arxiv.org/abs/2511.19721
November 26, 2025 at 5:47 AM
Pedro Marun, Saharon Shelah, Corey Bacal Switzer
Adding $\aleph_\omega$ many Cohen reals
https://arxiv.org/abs/2511.19721
Adding $\aleph_\omega$ many Cohen reals
https://arxiv.org/abs/2511.19721
Stefan Marian Ludwig
Pseudofinite fields with additive and multiplicative character
https://arxiv.org/abs/2511.20243
Pseudofinite fields with additive and multiplicative character
https://arxiv.org/abs/2511.20243
November 26, 2025 at 5:47 AM
Stefan Marian Ludwig
Pseudofinite fields with additive and multiplicative character
https://arxiv.org/abs/2511.20243
Pseudofinite fields with additive and multiplicative character
https://arxiv.org/abs/2511.20243
Jules Tindzogho Ntsiri, Samuel Zamour
Cartan subrings in soluble ranked Lie rings
https://arxiv.org/abs/2511.20323
Cartan subrings in soluble ranked Lie rings
https://arxiv.org/abs/2511.20323
November 26, 2025 at 5:46 AM
Jules Tindzogho Ntsiri, Samuel Zamour
Cartan subrings in soluble ranked Lie rings
https://arxiv.org/abs/2511.20323
Cartan subrings in soluble ranked Lie rings
https://arxiv.org/abs/2511.20323
Dmitry M. Anishchenko
On Modal Companions of Logics with Strong Negation
https://arxiv.org/abs/2511.20512
On Modal Companions of Logics with Strong Negation
https://arxiv.org/abs/2511.20512
November 26, 2025 at 5:46 AM
Dmitry M. Anishchenko
On Modal Companions of Logics with Strong Negation
https://arxiv.org/abs/2511.20512
On Modal Companions of Logics with Strong Negation
https://arxiv.org/abs/2511.20512
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
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
November 25, 2025 at 5:07 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
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
Jeremy Beard
Long limit models are isomorphic assuming a splitting-like relation
https://arxiv.org/abs/2511.18665
Long limit models are isomorphic assuming a splitting-like relation
https://arxiv.org/abs/2511.18665
November 25, 2025 at 5:06 AM
Jeremy Beard
Long limit models are isomorphic assuming a splitting-like relation
https://arxiv.org/abs/2511.18665
Long limit models are isomorphic assuming a splitting-like relation
https://arxiv.org/abs/2511.18665
Vincenzo Dimonte, Luca Motto Ros
Generalized Descriptive Set Theory at Singular Cardinals of Countable Cofinality
https://arxiv.org/abs/2511.16188
Generalized Descriptive Set Theory at Singular Cardinals of Countable Cofinality
https://arxiv.org/abs/2511.16188
November 21, 2025 at 5:49 AM
Vincenzo Dimonte, Luca Motto Ros
Generalized Descriptive Set Theory at Singular Cardinals of Countable Cofinality
https://arxiv.org/abs/2511.16188
Generalized Descriptive Set Theory at Singular Cardinals of Countable Cofinality
https://arxiv.org/abs/2511.16188
Haruka Kogure
Provability interpretation of non-normal modal logics having neighborhood semantics
https://arxiv.org/abs/2511.16488
Provability interpretation of non-normal modal logics having neighborhood semantics
https://arxiv.org/abs/2511.16488
November 21, 2025 at 5:49 AM
Haruka Kogure
Provability interpretation of non-normal modal logics having neighborhood semantics
https://arxiv.org/abs/2511.16488
Provability interpretation of non-normal modal logics having neighborhood semantics
https://arxiv.org/abs/2511.16488
Haruka Kogure, Taishi Kurahashi
Modal logical aspects of provability predicates and consistency statements
https://arxiv.org/abs/2511.15531
Modal logical aspects of provability predicates and consistency statements
https://arxiv.org/abs/2511.15531
November 20, 2025 at 5:41 AM
Haruka Kogure, Taishi Kurahashi
Modal logical aspects of provability predicates and consistency statements
https://arxiv.org/abs/2511.15531
Modal logical aspects of provability predicates and consistency statements
https://arxiv.org/abs/2511.15531
Claudio Agostini, Nick Chapman, Luca Motto Ros, Beatrice Pitton
Generalized Borel Sets
https://arxiv.org/abs/2511.15663
Generalized Borel Sets
https://arxiv.org/abs/2511.15663
November 20, 2025 at 5:40 AM
Claudio Agostini, Nick Chapman, Luca Motto Ros, Beatrice Pitton
Generalized Borel Sets
https://arxiv.org/abs/2511.15663
Generalized Borel Sets
https://arxiv.org/abs/2511.15663
Evelina Daniyarova, Alexei Myasnikov
Theory of Interpretations I. Foundations
https://arxiv.org/abs/2511.13810
Theory of Interpretations I. Foundations
https://arxiv.org/abs/2511.13810
November 19, 2025 at 5:27 AM
Evelina Daniyarova, Alexei Myasnikov
Theory of Interpretations I. Foundations
https://arxiv.org/abs/2511.13810
Theory of Interpretations I. Foundations
https://arxiv.org/abs/2511.13810
November 18, 2025 at 5:44 AM
Patrick Barlatier, Richard Dapoigny
A Topological Rewriting of Tarski's Mereogeometry
https://arxiv.org/abs/2511.12727
A Topological Rewriting of Tarski's Mereogeometry
https://arxiv.org/abs/2511.12727
November 18, 2025 at 5:44 AM
Patrick Barlatier, Richard Dapoigny
A Topological Rewriting of Tarski's Mereogeometry
https://arxiv.org/abs/2511.12727
A Topological Rewriting of Tarski's Mereogeometry
https://arxiv.org/abs/2511.12727
November 18, 2025 at 5:43 AM
Frank Gilson
Arithmetical Complexity and Absoluteness of Rigidity Phenomena for Ulam Sequences
https://arxiv.org/abs/2511.13066
Arithmetical Complexity and Absoluteness of Rigidity Phenomena for Ulam Sequences
https://arxiv.org/abs/2511.13066
November 18, 2025 at 5:43 AM
Frank Gilson
Arithmetical Complexity and Absoluteness of Rigidity Phenomena for Ulam Sequences
https://arxiv.org/abs/2511.13066
Arithmetical Complexity and Absoluteness of Rigidity Phenomena for Ulam Sequences
https://arxiv.org/abs/2511.13066
J. B. Nation, Gianluca Paolini
Elementary properties of free lattices III: Undecidability of the full theory
https://arxiv.org/abs/2511.13149
Elementary properties of free lattices III: Undecidability of the full theory
https://arxiv.org/abs/2511.13149
November 18, 2025 at 5:42 AM
J. B. Nation, Gianluca Paolini
Elementary properties of free lattices III: Undecidability of the full theory
https://arxiv.org/abs/2511.13149
Elementary properties of free lattices III: Undecidability of the full theory
https://arxiv.org/abs/2511.13149
Pietro Freni
Absorbed Types and Derivations in Exponential o-Minimal Theories
https://arxiv.org/abs/2511.13447
Absorbed Types and Derivations in Exponential o-Minimal Theories
https://arxiv.org/abs/2511.13447
November 18, 2025 at 5:42 AM
Pietro Freni
Absorbed Types and Derivations in Exponential o-Minimal Theories
https://arxiv.org/abs/2511.13447
Absorbed Types and Derivations in Exponential o-Minimal Theories
https://arxiv.org/abs/2511.13447
Hanamantagouda P. Sankappanavar
Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
https://arxiv.org/abs/2511.10883
Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
https://arxiv.org/abs/2511.10883
November 17, 2025 at 5:17 AM
Hanamantagouda P. Sankappanavar
Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
https://arxiv.org/abs/2511.10883
Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
https://arxiv.org/abs/2511.10883
Yoshihito Tanaka
Neighborhood and algebraic models for predicate modal logics with $\omega$-rules
https://arxiv.org/abs/2511.10966
Neighborhood and algebraic models for predicate modal logics with $\omega$-rules
https://arxiv.org/abs/2511.10966
November 17, 2025 at 5:17 AM
Yoshihito Tanaka
Neighborhood and algebraic models for predicate modal logics with $\omega$-rules
https://arxiv.org/abs/2511.10966
Neighborhood and algebraic models for predicate modal logics with $\omega$-rules
https://arxiv.org/abs/2511.10966