A model with fragments of projective determinacy and failures of $\mathsf{DC}$
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Müller, Sandra, Wcisło, Bartosz |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
The consistency strength of determinacy when all sets are universally Baire
par: Müller, Sandra
Publié: (2021)
par: Müller, Sandra
Publié: (2021)
On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
par: Schlutzenberg, Farmer
Publié: (2020)
par: Schlutzenberg, Farmer
Publié: (2020)
Does $\mathsf{DC}$ imply $\mathsf{AC}_ω$, uniformly?
par: Andretta, Alessandro, et autres
Publié: (2023)
par: Andretta, Alessandro, et autres
Publié: (2023)
Plenitudinous Urelements and the Definability of Cardinality
par: Yao, Bokai
Publié: (2025)
par: Yao, Bokai
Publié: (2025)
On the significance of parameters and the projective level in the Choice and Comprehension axioms
par: Kanovei, Vladimir, et autres
Publié: (2024)
par: Kanovei, Vladimir, et autres
Publié: (2024)
Locally countable graphs of second projective class not generated by countably many projective functions
par: Kanovei, Vladimir, et autres
Publié: (2026)
par: Kanovei, Vladimir, et autres
Publié: (2026)
Abstraction Principles and the Size of Reality
par: Yao, Bokai
Publié: (2025)
par: Yao, Bokai
Publié: (2025)
The first measurable can be the first inaccessible cardinal
par: Gitik, Moti, et autres
Publié: (2024)
par: Gitik, Moti, et autres
Publié: (2024)
Intermediate models with deep failure of choice
par: Hayut, Yair, et autres
Publié: (2024)
par: Hayut, Yair, et autres
Publié: (2024)
$Σ^1_3$ sets in the Sacks model
par: Schilhan, Jonathan
Publié: (2025)
par: Schilhan, Jonathan
Publié: (2025)
Mice with Woodin cardinals from a Reinhardt
par: Schlutzenberg, Farmer
Publié: (2024)
par: Schlutzenberg, Farmer
Publié: (2024)
Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
par: Kanovei, Vladimir, et autres
Publié: (2025)
par: Kanovei, Vladimir, et autres
Publié: (2025)
Hindman's Theorem in the hierarchy of Choice Principles
par: Fernández-Bretón, David J.
Publié: (2022)
par: Fernández-Bretón, David J.
Publié: (2022)
Higher Solovay Models
par: Straffelini, Cesare, et autres
Publié: (2025)
par: Straffelini, Cesare, et autres
Publié: (2025)
Separating Maximality Principles
par: Gappo, Takehiko, et autres
Publié: (2025)
par: Gappo, Takehiko, et autres
Publié: (2025)
Descriptive properties of I2-embeddings
par: Dimonte, Vincenzo, et autres
Publié: (2023)
par: Dimonte, Vincenzo, et autres
Publié: (2023)
Forcing Axioms, the Uniformization and the Basis Property
par: Hoffelner, Stefan
Publié: (2020)
par: Hoffelner, Stefan
Publié: (2020)
A Failure of $Π^1_{n+3}$-Reduction in the Presence of $Σ^1_{n+3}$-Separation
par: Hoffelner, Stefan
Publié: (2023)
par: Hoffelner, Stefan
Publié: (2023)
On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
par: Hoffelner, Stefan
Publié: (2026)
par: Hoffelner, Stefan
Publié: (2026)
Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
par: Hoffelner, Stefan, et autres
Publié: (2022)
par: Hoffelner, Stefan, et autres
Publié: (2022)
On ultrafilters in ZF models and indecomposable ultrafilters
par: Bilinsky, Eilon, et autres
Publié: (2024)
par: Bilinsky, Eilon, et autres
Publié: (2024)
Forcing upper $Σ$-uniformization in the presence of lower $Π$-reduction or uniformization
par: Hoffelner, Stefan
Publié: (2025)
par: Hoffelner, Stefan
Publié: (2025)
Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
par: Hoffelner, Stefan
Publié: (2020)
par: Hoffelner, Stefan
Publié: (2020)
The Consistency of the $\bf{Σ^1_3}$-Separation Property
par: Hoffelner, Stefan
Publié: (2019)
par: Hoffelner, Stefan
Publié: (2019)
Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
par: Watson, Connor
Publié: (2024)
par: Watson, Connor
Publié: (2024)
Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
par: Hoffelner, Stefan
Publié: (2026)
par: Hoffelner, Stefan
Publié: (2026)
Force a set model of $Z_3$ + Harrington's Principle
par: Cheng, Yong
Publié: (2014)
par: Cheng, Yong
Publié: (2014)
A note on uniform ultrafilters in a choiceless context
par: Usuba, Toshimichi
Publié: (2024)
par: Usuba, Toshimichi
Publié: (2024)
Long games just beyond fixed countable length
par: Gappo, Takehiko, et autres
Publié: (2026)
par: Gappo, Takehiko, et autres
Publié: (2026)
On a cofinal Reinhardt embedding without Powerset
par: Jeon, Hanul
Publié: (2024)
par: Jeon, Hanul
Publié: (2024)
Galvin's property at large cardinals and an application to partition calculus
par: Benhamou, Tom, et autres
Publié: (2022)
par: Benhamou, Tom, et autres
Publié: (2022)
The Axiom of Choice in the $κ$-Mantle
par: Lietz, Andreas
Publié: (2024)
par: Lietz, Andreas
Publié: (2024)
Homogeneous forcing
par: Shelah, Saharon
Publié: (2026)
par: Shelah, Saharon
Publié: (2026)
The Axiom of Double Complement and its opposites
par: Jeon, Hanul, et autres
Publié: (2026)
par: Jeon, Hanul, et autres
Publié: (2026)
Martin's Axiom, Large Continuum and Global $Σ^1_n$-Uniformization
par: Hoffelner, Stefan
Publié: (2026)
par: Hoffelner, Stefan
Publié: (2026)
Forcing More DC Over the Chang Model Using the Thorn Sequence
par: Holland, James, et autres
Publié: (2022)
par: Holland, James, et autres
Publié: (2022)
More separations of cardinal characteristics of the strong measure zero ideal
par: Cardona, Miguel A., et autres
Publié: (2025)
par: Cardona, Miguel A., et autres
Publié: (2025)
Compactness for small cardinals in mathematics: principles, consequences, and limitations
par: Honzik, Radek
Publié: (2025)
par: Honzik, Radek
Publié: (2025)
A note on Łoś's Theorem without the Axiom of Choice
par: Usuba, Toshimichi
Publié: (2023)
par: Usuba, Toshimichi
Publié: (2023)
The complexity of non-stationary ideals
par: Lücke, Philipp
Publié: (2024)
par: Lücke, Philipp
Publié: (2024)
Documents similaires
-
The consistency strength of determinacy when all sets are universally Baire
par: Müller, Sandra
Publié: (2021) -
On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
par: Schlutzenberg, Farmer
Publié: (2020) -
Does $\mathsf{DC}$ imply $\mathsf{AC}_ω$, uniformly?
par: Andretta, Alessandro, et autres
Publié: (2023) -
Plenitudinous Urelements and the Definability of Cardinality
par: Yao, Bokai
Publié: (2025) -
On the significance of parameters and the projective level in the Choice and Comprehension axioms
par: Kanovei, Vladimir, et autres
Publié: (2024)