A Failure of $Π^1_{n+3}$-Reduction in the Presence of $Σ^1_{n+3}$-Separation
Fuente:
arXiv
Guardado en:
| Autor principal: | Hoffelner, Stefan |
|---|---|
| Formato: | Preprint |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
por: Hoffelner, Stefan
Publicado: (2020)
por: Hoffelner, Stefan
Publicado: (2020)
The Consistency of the $\bf{Σ^1_3}$-Separation Property
por: Hoffelner, Stefan
Publicado: (2019)
por: Hoffelner, Stefan
Publicado: (2019)
Forcing upper $Σ$-uniformization in the presence of lower $Π$-reduction or uniformization
por: Hoffelner, Stefan
Publicado: (2025)
por: Hoffelner, Stefan
Publicado: (2025)
On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
por: Hoffelner, Stefan
Publicado: (2026)
por: Hoffelner, Stefan
Publicado: (2026)
Martin's Axiom, Large Continuum and Global $Σ^1_n$-Uniformization
por: Hoffelner, Stefan
Publicado: (2026)
por: Hoffelner, Stefan
Publicado: (2026)
Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
por: Hoffelner, Stefan
Publicado: (2026)
por: Hoffelner, Stefan
Publicado: (2026)
Forcing Axioms, the Uniformization and the Basis Property
por: Hoffelner, Stefan
Publicado: (2020)
por: Hoffelner, Stefan
Publicado: (2020)
$Σ^1_3$ sets in the Sacks model
por: Schilhan, Jonathan
Publicado: (2025)
por: Schilhan, Jonathan
Publicado: (2025)
Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
por: Hoffelner, Stefan, et al.
Publicado: (2022)
por: Hoffelner, Stefan, et al.
Publicado: (2022)
Locally countable graphs of second projective class not generated by countably many projective functions
por: Kanovei, Vladimir, et al.
Publicado: (2026)
por: Kanovei, Vladimir, et al.
Publicado: (2026)
Higher Solovay Models
por: Straffelini, Cesare, et al.
Publicado: (2025)
por: Straffelini, Cesare, et al.
Publicado: (2025)
Separating Maximality Principles
por: Gappo, Takehiko, et al.
Publicado: (2025)
por: Gappo, Takehiko, et al.
Publicado: (2025)
Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
por: Watson, Connor
Publicado: (2024)
por: Watson, Connor
Publicado: (2024)
$Σ_1$ gaps as derived models and correctness of mice
por: Schlutzenberg, Farmer, et al.
Publicado: (2023)
por: Schlutzenberg, Farmer, et al.
Publicado: (2023)
$Σ_n$-correct Forcing Axioms
por: Goodman, Ben
Publicado: (2024)
por: Goodman, Ben
Publicado: (2024)
A formula for any real number, maybe
por: Hanson, James E., et al.
Publicado: (2026)
por: Hanson, James E., et al.
Publicado: (2026)
Power $Σ_1$ in Card with two Woodin cardinals
por: Schlutzenberg, Farmer
Publicado: (2025)
por: Schlutzenberg, Farmer
Publicado: (2025)
Descriptive properties of I2-embeddings
por: Dimonte, Vincenzo, et al.
Publicado: (2023)
por: Dimonte, Vincenzo, et al.
Publicado: (2023)
On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
por: Schlutzenberg, Farmer
Publicado: (2020)
por: Schlutzenberg, Farmer
Publicado: (2020)
A model with fragments of projective determinacy and failures of $\mathsf{DC}$
por: Müller, Sandra, et al.
Publicado: (2025)
por: Müller, Sandra, et al.
Publicado: (2025)
Mouse scales
por: Schlutzenberg, Farmer
Publicado: (2023)
por: Schlutzenberg, Farmer
Publicado: (2023)
Partial Tower Sealing
por: Sargsyan, Grigor, et al.
Publicado: (2025)
por: Sargsyan, Grigor, et al.
Publicado: (2025)
Ladder mice
por: Schlutzenberg, Farmer
Publicado: (2024)
por: Schlutzenberg, Farmer
Publicado: (2024)
Low level definability above large cardinals
por: Schlutzenberg, Farmer
Publicado: (2024)
por: Schlutzenberg, Farmer
Publicado: (2024)
The consistency strength of determinacy when all sets are universally Baire
por: Müller, Sandra
Publicado: (2021)
por: Müller, Sandra
Publicado: (2021)
A Strong Kurepa Tree
por: Krueger, John
Publicado: (2025)
por: Krueger, John
Publicado: (2025)
Homogeneous forcing
por: Shelah, Saharon
Publicado: (2026)
por: Shelah, Saharon
Publicado: (2026)
There may be an $n$-entangled set but no $n+1$-entangled sets
por: Chapital, Jorge Antonio Cruz
Publicado: (2025)
por: Chapital, Jorge Antonio Cruz
Publicado: (2025)
The first measurable can be the first inaccessible cardinal
por: Gitik, Moti, et al.
Publicado: (2024)
por: Gitik, Moti, et al.
Publicado: (2024)
The complexity of non-stationary ideals
por: Lücke, Philipp
Publicado: (2024)
por: Lücke, Philipp
Publicado: (2024)
Revisiting $\mathfrak b$ and $\mathfrak d$ through Interval Structures
por: Cardona, Miguel A., et al.
Publicado: (2026)
por: Cardona, Miguel A., et al.
Publicado: (2026)
Adding the constant evasion and constant prediction numbers to Cichoń's maximum
por: Cardona, Miguel A., et al.
Publicado: (2025)
por: Cardona, Miguel A., et al.
Publicado: (2025)
Constant prediction and evasion number, I: Generalization and variants
por: Cardona, Miguel A., et al.
Publicado: (2025)
por: Cardona, Miguel A., et al.
Publicado: (2025)
Definable discrete sets with large continuum
por: Schrittesser, David
Publicado: (2016)
por: Schrittesser, David
Publicado: (2016)
Building Models of Determinacy from Below
por: Kasum, Obrad, et al.
Publicado: (2024)
por: Kasum, Obrad, et al.
Publicado: (2024)
Constructibility real degrees in the side-by-side Sacks model
por: Notaro, Lorenzo
Publicado: (2025)
por: Notaro, Lorenzo
Publicado: (2025)
Failure of Approachability at the Successor of the first Singular for any Cofinality
por: Jakob, Hannes, et al.
Publicado: (2025)
por: Jakob, Hannes, et al.
Publicado: (2025)
The behavior of higher proof theory I: Case $Σ^1_2$
por: Jeon, Hanul
Publicado: (2024)
por: Jeon, Hanul
Publicado: (2024)
Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
por: Kanovei, Vladimir, et al.
Publicado: (2025)
por: Kanovei, Vladimir, et al.
Publicado: (2025)
On the significance of parameters and the projective level in the Choice and Comprehension axioms
por: Kanovei, Vladimir, et al.
Publicado: (2024)
por: Kanovei, Vladimir, et al.
Publicado: (2024)
Ejemplares similares
-
Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
por: Hoffelner, Stefan
Publicado: (2020) -
The Consistency of the $\bf{Σ^1_3}$-Separation Property
por: Hoffelner, Stefan
Publicado: (2019) -
Forcing upper $Σ$-uniformization in the presence of lower $Π$-reduction or uniformization
por: Hoffelner, Stefan
Publicado: (2025) -
On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
por: Hoffelner, Stefan
Publicado: (2026) -
Martin's Axiom, Large Continuum and Global $Σ^1_n$-Uniformization
por: Hoffelner, Stefan
Publicado: (2026)