Saved in:
| Main Authors: | Schindler, Ralf, Yasuda, Taichi |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2404.12836 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
by: Aksornthong, Navin, et al.
Published: (2023)
by: Aksornthong, Navin, et al.
Published: (2023)
Ultrapowers of determinacy models as iteration trees on HOD
by: Goldberg, Gabriel, et al.
Published: (2026)
by: Goldberg, Gabriel, et al.
Published: (2026)
A formalization of Borel determinacy in Lean
by: Manthe, Sven
Published: (2025)
by: Manthe, Sven
Published: (2025)
Homotopy type theory as a language for diagrams of $\infty$-logoses
by: Uemura, Taichi
Published: (2022)
by: Uemura, Taichi
Published: (2022)
The transcendence degree of the reals over certain set-theoretical subfields
by: Fatalini, Azul, et al.
Published: (2024)
by: Fatalini, Azul, et al.
Published: (2024)
Perfectly normal nonrealcompact spaces under Martin's Maximum
by: Tetsuya Ishiu
Published: (2024)
by: Tetsuya Ishiu
Published: (2024)
PFA and the definability of the nonstationary ideal
by: Hoffelner, Stefan, et al.
Published: (2023)
by: Hoffelner, Stefan, et al.
Published: (2023)
Con($\mathfrak{r}_{\mathsf{nwd}}<\mathfrak{irr}$)
by: Manríquez, Jonathan Cancino
Published: (2025)
by: Manríquez, Jonathan Cancino
Published: (2025)
A model with fragments of projective determinacy and failures of $\mathsf{DC}$
by: Müller, Sandra, et al.
Published: (2025)
by: Müller, Sandra, et al.
Published: (2025)
The consistency strength of determinacy when all sets are universally Baire
by: Müller, Sandra
Published: (2021)
by: Müller, Sandra
Published: (2021)
Varsovian models II
by: Sargsyan, Grigor, et al.
Published: (2021)
by: Sargsyan, Grigor, et al.
Published: (2021)
A complete classification of the zero-dimensional homogeneous spaces under determinacy
by: Medini, Andrea
Published: (2023)
by: Medini, Andrea
Published: (2023)
Higher inductive types in $(\infty,1)$-categories
by: Uemura, Taichi
Published: (2024)
by: Uemura, Taichi
Published: (2024)
Maximum linearizations of lower sets in $\mathbb{N}^m$ with application to monomial ideals
by: Altman, Harry, et al.
Published: (2019)
by: Altman, Harry, et al.
Published: (2019)
Bilateral base-extension semantics
by: Barroso-Nascimento, Victor, et al.
Published: (2025)
by: Barroso-Nascimento, Victor, et al.
Published: (2025)
Shininess, strong politeness, and unicorns
by: Przybocki, Benjamin, et al.
Published: (2025)
by: Przybocki, Benjamin, et al.
Published: (2025)
Base-extension Semantics for Modal Logic
by: Eckhardt, Timo, et al.
Published: (2024)
by: Eckhardt, Timo, et al.
Published: (2024)
In Memory of Martin Davis
by: Calvert, Wesley, et al.
Published: (2024)
by: Calvert, Wesley, et al.
Published: (2024)
Base-extension Semantics for Intuitionistic Modal Logics
by: Buzoku, Yll, et al.
Published: (2025)
by: Buzoku, Yll, et al.
Published: (2025)
Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)
by: Takahashi, Yuta
Published: (2024)
The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
by: Bahrami, Saeideh
Published: (2026)
by: Bahrami, Saeideh
Published: (2026)
From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
by: Gheorghiu, Alexander V., et al.
Published: (2022)
by: Gheorghiu, Alexander V., et al.
Published: (2022)
Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
by: Hansen, Helle Hvid, et al.
Published: (2025)
by: Hansen, Helle Hvid, et al.
Published: (2025)
Weak, strong and mixed extensions of relations to spaces of ultrafilters
by: Gasparro, Leonardo Raffaello Maximilian, et al.
Published: (2025)
by: Gasparro, Leonardo Raffaello Maximilian, et al.
Published: (2025)
An invitation to extension domination
by: Gannon, Kyle, et al.
Published: (2022)
by: Gannon, Kyle, et al.
Published: (2022)
P-measures in models without P-points
by: Borodulin-Nadzieja, Piotr, et al.
Published: (2024)
by: Borodulin-Nadzieja, Piotr, et al.
Published: (2024)
Every countable model of arithmetic or set theory has a pointwise-definable end extension
by: Hamkins, Joel David
Published: (2022)
by: Hamkins, Joel David
Published: (2022)
Effectiveness and strong graph indivisibility
by: Dzhafarov, Damir D., et al.
Published: (2024)
by: Dzhafarov, Damir D., et al.
Published: (2024)
Martin's conjecture for regressive functions on the hyperarithmetic degrees
by: Lutz, Patrick
Published: (2023)
by: Lutz, Patrick
Published: (2023)
Ultrafilter extensions of bounded graphs are elementary
by: Molnár, Zalán
Published: (2024)
by: Molnár, Zalán
Published: (2024)
On some subtheories of strong dependent choice
by: Aguilera, Juan P., et al.
Published: (2024)
by: Aguilera, Juan P., et al.
Published: (2024)
The strong reflecting property and Harrington's Principle
by: Cheng, Yong
Published: (2015)
by: Cheng, Yong
Published: (2015)
Approximate matrices of systems of max-min fuzzy relational equations
by: Baaj, Ismaïl
Published: (2025)
by: Baaj, Ismaïl
Published: (2025)
Finite central extensions of o-minimal groups
by: Baro, Elías, et al.
Published: (2024)
by: Baro, Elías, et al.
Published: (2024)
Base-extension Semantics for S5 Modal Logic
by: Eckhardt, Timo, et al.
Published: (2024)
by: Eckhardt, Timo, et al.
Published: (2024)
A note on the modal logic of symmetric extensions
by: Duncan, Hope
Published: (2026)
by: Duncan, Hope
Published: (2026)
Elementary extensions of almost o-minimal structures
by: Berraho, Mourad, et al.
Published: (2026)
by: Berraho, Mourad, et al.
Published: (2026)
More on the indivisibility of $\mathbb{Q}$
by: Pauly, Arno
Published: (2024)
by: Pauly, Arno
Published: (2024)
Inferentialist Public Announcement Logic: Base-extension Semantics
by: Eckhardt, Timo, et al.
Published: (2024)
by: Eckhardt, Timo, et al.
Published: (2024)
Varieties of modal algebras without the congruence extension property
by: Gyenis, Zalán, et al.
Published: (2024)
by: Gyenis, Zalán, et al.
Published: (2024)
Similar Items
-
On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
by: Aksornthong, Navin, et al.
Published: (2023) -
Ultrapowers of determinacy models as iteration trees on HOD
by: Goldberg, Gabriel, et al.
Published: (2026) -
A formalization of Borel determinacy in Lean
by: Manthe, Sven
Published: (2025) -
Homotopy type theory as a language for diagrams of $\infty$-logoses
by: Uemura, Taichi
Published: (2022) -
The transcendence degree of the reals over certain set-theoretical subfields
by: Fatalini, Azul, et al.
Published: (2024)