A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization

Documents similaires

• $\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals
  par: Hoffelner, Stefan
  Publié: (2025)
• The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
  par: Hoffelner, Stefan
  Publié: (2024)
• Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
  par: Hoffelner, Stefan
  Publié: (2020)
• A Failure of $Π^1_{n+3}$-Reduction in the Presence of $Σ^1_{n+3}$-Separation
  par: Hoffelner, Stefan
  Publié: (2023)
• Martin's Axiom, Large Continuum and Global $Σ^1_n$-Uniformization
  par: Hoffelner, Stefan
  Publié: (2026)