Documents similaires

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