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

Documents similaires

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