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

Ähnliche Einträge

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