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
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
Gabriele Buriola, Andreas Weiermann
Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $\Sigma_n$-Collection Schema
https://arxiv.org/abs/2511.11196
Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $\Sigma_n$-Collection Schema
https://arxiv.org/abs/2511.11196
November 17, 2025 at 5:16 AM
Gabriele Buriola, Andreas Weiermann
Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $\Sigma_n$-Collection Schema
https://arxiv.org/abs/2511.11196
Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $\Sigma_n$-Collection Schema
https://arxiv.org/abs/2511.11196
Gabriele Buriola, Andreas Weiermann
Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
https://arxiv.org/abs/2511.11297
Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
https://arxiv.org/abs/2511.11297
November 17, 2025 at 5:16 AM
Gabriele Buriola, Andreas Weiermann
Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
https://arxiv.org/abs/2511.11297
Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
https://arxiv.org/abs/2511.11297
Mikhail Andreev, Alexander Shen
Bishop's (up)crossing inequality and lower semicomputable random reals revisited
https://arxiv.org/abs/2511.09756
Bishop's (up)crossing inequality and lower semicomputable random reals revisited
https://arxiv.org/abs/2511.09756
November 14, 2025 at 5:01 AM
Mikhail Andreev, Alexander Shen
Bishop's (up)crossing inequality and lower semicomputable random reals revisited
https://arxiv.org/abs/2511.09756
Bishop's (up)crossing inequality and lower semicomputable random reals revisited
https://arxiv.org/abs/2511.09756
Frank Gilson
From Internal to External: Classical Models of ZF + PP + $\neg$AC
https://arxiv.org/abs/2511.09764
From Internal to External: Classical Models of ZF + PP + $\neg$AC
https://arxiv.org/abs/2511.09764
November 14, 2025 at 5:01 AM
Frank Gilson
From Internal to External: Classical Models of ZF + PP + $\neg$AC
https://arxiv.org/abs/2511.09764
From Internal to External: Classical Models of ZF + PP + $\neg$AC
https://arxiv.org/abs/2511.09764
Nick Bezhanishvili, Antonio Maria Cleani
Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
https://arxiv.org/abs/2511.09824
Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
https://arxiv.org/abs/2511.09824
November 14, 2025 at 5:00 AM
Nick Bezhanishvili, Antonio Maria Cleani
Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
https://arxiv.org/abs/2511.09824
Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
https://arxiv.org/abs/2511.09824
November 14, 2025 at 5:00 AM
Souji Shizuma
A General Theorem for Non-Simultaneous Hat Guessing Puzzles
https://arxiv.org/abs/2511.09154
A General Theorem for Non-Simultaneous Hat Guessing Puzzles
https://arxiv.org/abs/2511.09154
November 13, 2025 at 5:11 AM
Souji Shizuma
A General Theorem for Non-Simultaneous Hat Guessing Puzzles
https://arxiv.org/abs/2511.09154
A General Theorem for Non-Simultaneous Hat Guessing Puzzles
https://arxiv.org/abs/2511.09154
November 12, 2025 at 6:44 AM
William Adkisson, Omer Ben Neria
On the strength of ultrafilters above choiceless large cardinals and their Prikry forcings
https://arxiv.org/abs/2511.07622
On the strength of ultrafilters above choiceless large cardinals and their Prikry forcings
https://arxiv.org/abs/2511.07622
November 12, 2025 at 5:48 AM
William Adkisson, Omer Ben Neria
On the strength of ultrafilters above choiceless large cardinals and their Prikry forcings
https://arxiv.org/abs/2511.07622
On the strength of ultrafilters above choiceless large cardinals and their Prikry forcings
https://arxiv.org/abs/2511.07622
Frank Gilson
Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
https://arxiv.org/abs/2511.07675
Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
https://arxiv.org/abs/2511.07675
November 12, 2025 at 5:48 AM
Frank Gilson
Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
https://arxiv.org/abs/2511.07675
Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
https://arxiv.org/abs/2511.07675