Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization

Documenti analoghi

• A Failure of $Π^1_{n+3}$-Reduction in the Presence of $Σ^1_{n+3}$-Separation
  di: Hoffelner, Stefan
  Pubblicazione: (2023)
• Forcing upper $Σ$-uniformization in the presence of lower $Π$-reduction or uniformization
  di: Hoffelner, Stefan
  Pubblicazione: (2025)
• The Consistency of the $\bf{Σ^1_3}$-Separation Property
  di: Hoffelner, Stefan
  Pubblicazione: (2019)
• Forcing Axioms, the Uniformization and the Basis Property
  di: Hoffelner, Stefan
  Pubblicazione: (2020)
• On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
  di: Hoffelner, Stefan
  Pubblicazione: (2026)