Separating Maximality Principles
Fuente:
arXiv
Salvato in:
| Autori principali: | Gappo, Takehiko, Lietz, Andreas |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Generic Absoluteness Revisited
di: Fuchino, Sakaé, et al.
Pubblicazione: (2024)
di: Fuchino, Sakaé, et al.
Pubblicazione: (2024)
An Iteration Theorem for $ω_1$-preserving Forcings
di: Lietz, Andreas
Pubblicazione: (2024)
di: Lietz, Andreas
Pubblicazione: (2024)
Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals
di: Lietz, Andreas
Pubblicazione: (2024)
di: Lietz, Andreas
Pubblicazione: (2024)
Long games just beyond fixed countable length
di: Gappo, Takehiko, et al.
Pubblicazione: (2026)
di: Gappo, Takehiko, et al.
Pubblicazione: (2026)
On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
di: Hoffelner, Stefan
Pubblicazione: (2026)
di: Hoffelner, Stefan
Pubblicazione: (2026)
Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
di: Hoffelner, Stefan, et al.
Pubblicazione: (2022)
di: Hoffelner, Stefan, et al.
Pubblicazione: (2022)
The Axiom of Choice in the $κ$-Mantle
di: Lietz, Andreas
Pubblicazione: (2024)
di: Lietz, Andreas
Pubblicazione: (2024)
A virtual five element basis for the uncountable linear orders
di: Krueger, John, et al.
Pubblicazione: (2025)
di: Krueger, John, et al.
Pubblicazione: (2025)
Extendible cardinals, and Laver-generic large cardinal axioms for extendibility
di: Fuchino, Sakaé
Pubblicazione: (2025)
di: Fuchino, Sakaé
Pubblicazione: (2025)
Reflection and Recurrence
di: Fuchino, Sakaé
Pubblicazione: (2024)
di: Fuchino, Sakaé
Pubblicazione: (2024)
On Recurrence Axioms
di: Fuchino, Sakaé, et al.
Pubblicazione: (2024)
di: Fuchino, Sakaé, et al.
Pubblicazione: (2024)
On Indestructible Strongly Guessing Models
di: Mohammadpour, Rahman, et al.
Pubblicazione: (2023)
di: Mohammadpour, Rahman, et al.
Pubblicazione: (2023)
Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
di: Watson, Connor
Pubblicazione: (2024)
di: Watson, Connor
Pubblicazione: (2024)
Forcing Axioms, the Uniformization and the Basis Property
di: Hoffelner, Stefan
Pubblicazione: (2020)
di: Hoffelner, Stefan
Pubblicazione: (2020)
Higher Solovay Models
di: Straffelini, Cesare, et al.
Pubblicazione: (2025)
di: Straffelini, Cesare, et al.
Pubblicazione: (2025)
Descriptive properties of I2-embeddings
di: Dimonte, Vincenzo, et al.
Pubblicazione: (2023)
di: Dimonte, Vincenzo, et al.
Pubblicazione: (2023)
On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
di: Schlutzenberg, Farmer
Pubblicazione: (2020)
di: Schlutzenberg, Farmer
Pubblicazione: (2020)
Iteration theorems for subversions of forcing classes
di: Fuchs, Gunter, et al.
Pubblicazione: (2020)
di: Fuchs, Gunter, et al.
Pubblicazione: (2020)
Compactness for small cardinals in mathematics: principles, consequences, and limitations
di: Honzik, Radek
Pubblicazione: (2025)
di: Honzik, Radek
Pubblicazione: (2025)
$Σ_n$-correct Forcing Axioms
di: Goodman, Ben
Pubblicazione: (2024)
di: Goodman, Ben
Pubblicazione: (2024)
The $κ$-Strongly Proper Forcing Axiom
di: Asperó, David, et al.
Pubblicazione: (2019)
di: Asperó, David, et al.
Pubblicazione: (2019)
The first measurable can be the first inaccessible cardinal
di: Gitik, Moti, et al.
Pubblicazione: (2024)
di: Gitik, Moti, et al.
Pubblicazione: (2024)
Cardinal invariants of idealized Miller null sets
di: Cieślak, Aleksander, et al.
Pubblicazione: (2026)
di: Cieślak, Aleksander, et al.
Pubblicazione: (2026)
Force a set model of $Z_3$ + Harrington's Principle
di: Cheng, Yong
Pubblicazione: (2014)
di: Cheng, Yong
Pubblicazione: (2014)
The Consistency of the $\bf{Σ^1_3}$-Separation Property
di: Hoffelner, Stefan
Pubblicazione: (2019)
di: Hoffelner, Stefan
Pubblicazione: (2019)
Generically extendible cardinals
di: Usuba, Toshimichi
Pubblicazione: (2022)
di: Usuba, Toshimichi
Pubblicazione: (2022)
Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
di: Hoffelner, Stefan
Pubblicazione: (2026)
di: Hoffelner, Stefan
Pubblicazione: (2026)
Terminal Absoluteness of Collapse Forcings
di: Straffelini, Cesare
Pubblicazione: (2025)
di: Straffelini, Cesare
Pubblicazione: (2025)
A Failure of $Π^1_{n+3}$-Reduction in the Presence of $Σ^1_{n+3}$-Separation
di: Hoffelner, Stefan
Pubblicazione: (2023)
di: Hoffelner, Stefan
Pubblicazione: (2023)
Varsovian models II
di: Sargsyan, Grigor, et al.
Pubblicazione: (2021)
di: Sargsyan, Grigor, et al.
Pubblicazione: (2021)
Ladder mice
di: Schlutzenberg, Farmer
Pubblicazione: (2024)
di: Schlutzenberg, Farmer
Pubblicazione: (2024)
Mouse scales
di: Schlutzenberg, Farmer
Pubblicazione: (2023)
di: Schlutzenberg, Farmer
Pubblicazione: (2023)
$Σ_1$ gaps as derived models and correctness of mice
di: Schlutzenberg, Farmer, et al.
Pubblicazione: (2023)
di: Schlutzenberg, Farmer, et al.
Pubblicazione: (2023)
Local mantles of $L[x]$
di: Schlutzenberg, Farmer
Pubblicazione: (2021)
di: Schlutzenberg, Farmer
Pubblicazione: (2021)
Mice with Woodin cardinals from a Reinhardt
di: Schlutzenberg, Farmer
Pubblicazione: (2024)
di: Schlutzenberg, Farmer
Pubblicazione: (2024)
Low level definability above large cardinals
di: Schlutzenberg, Farmer
Pubblicazione: (2024)
di: Schlutzenberg, Farmer
Pubblicazione: (2024)
The consistency strength of determinacy when all sets are universally Baire
di: Müller, Sandra
Pubblicazione: (2021)
di: Müller, Sandra
Pubblicazione: (2021)
Infinite Hat Problems and Large Cardinals
di: Lietz, Andreas, et al.
Pubblicazione: (2024)
di: Lietz, Andreas, et al.
Pubblicazione: (2024)
A formula for any real number, maybe
di: Hanson, James E., et al.
Pubblicazione: (2026)
di: Hanson, James E., et al.
Pubblicazione: (2026)
Power $Σ_1$ in Card with two Woodin cardinals
di: Schlutzenberg, Farmer
Pubblicazione: (2025)
di: Schlutzenberg, Farmer
Pubblicazione: (2025)
Documenti analoghi
-
Generic Absoluteness Revisited
di: Fuchino, Sakaé, et al.
Pubblicazione: (2024) -
An Iteration Theorem for $ω_1$-preserving Forcings
di: Lietz, Andreas
Pubblicazione: (2024) -
Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals
di: Lietz, Andreas
Pubblicazione: (2024) -
Long games just beyond fixed countable length
di: Gappo, Takehiko, et al.
Pubblicazione: (2026) -
On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
di: Hoffelner, Stefan
Pubblicazione: (2026)