Samankaltaisia teoksia

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