$\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals

Documents similaires

• A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization
  par: Hoffelner, Stefan
  Publié: (2025)
• Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
  par: Hoffelner, Stefan
  Publié: (2026)
• PFA and the definability of the nonstationary ideal
  par: Hoffelner, Stefan, et autres
  Publié: (2023)
• Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
  par: Hoffelner, Stefan, et autres
  Publié: (2022)
• Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals
  par: Lietz, Andreas
  Publié: (2024)