On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$

Documenti analoghi

• The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
  di: Cipriani, Vittorio, et al.
  Pubblicazione: (2022)
• $Π^0_4$ conservation of Ramsey's theorem for pairs
  di: Houérou, Quentin Le, et al.
  Pubblicazione: (2024)
• A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization
  di: Hoffelner, Stefan
  Pubblicazione: (2025)
• Searching problems above arithmetical transfinite recursion
  di: Suzuki, Yudai, et al.
  Pubblicazione: (2023)
• Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
  di: Hoffelner, Stefan
  Pubblicazione: (2020)