Forcing upper $Σ$-uniformization in the presence of lower $Π$-reduction or uniformization

Similar Items

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