PFA and the definability of the nonstationary ideal

Ähnliche Einträge

• Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
  von: Hoffelner, Stefan, et al.
  Veröffentlicht: (2022)
• $\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals
  von: Hoffelner, Stefan
  Veröffentlicht: (2025)
• A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization
  von: Hoffelner, Stefan
  Veröffentlicht: (2025)
• A Universe with large Continuum, global $Σ$-Uniformization and a projective Well-Order of its Reals
  von: Hoffelner, Stefan
  Veröffentlicht: (2025)
• $\mathsf{MA} (\mathcal{I}$) and a Failure of Separation on the third Level
  von: Hoffelner, Stefan
  Veröffentlicht: (2025)