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

Ähnliche Einträge

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