The Consistency of the $\bf{Σ^1_3}$-Separation Property

Documents similaires

• On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
  par: Hoffelner, Stefan
  Publié: (2026)
• A Failure of $Π^1_{n+3}$-Reduction in the Presence of $Σ^1_{n+3}$-Separation
  par: Hoffelner, Stefan
  Publié: (2023)
• Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
  par: Hoffelner, Stefan
  Publié: (2020)
• Forcing upper $Σ$-uniformization in the presence of lower $Π$-reduction or uniformization
  par: Hoffelner, Stefan
  Publié: (2025)
• Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
  par: Hoffelner, Stefan
  Publié: (2026)