Axiom Beta Implies Elementary Transfinite Recursion

Documenti analoghi

• The reverse mathematics of bounded Ramsey's theorem for pairs
  di: Houérou, Quentin Le, et al.
  Pubblicazione: (2025)
• The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
  di: Cipriani, Vittorio, et al.
  Pubblicazione: (2022)
• Ramsey-like theorems for separable permutations
  di: Houérou, Quentin Le, et al.
  Pubblicazione: (2025)
• Weak and Strong Versions of Effective Transfinite Recursion
  di: Uftring, Patrick
  Pubblicazione: (2022)
• Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
  di: Houérou, Quentin Le, et al.
  Pubblicazione: (2026)