Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study

Documenti analoghi

• The strength of Ramsey's theorem for $α$-large sets
  di: Carlucci, Lorenzo, et al.
  Pubblicazione: (2026)
• Finding descending sequences through ill-founded linear orders
  di: Goh, Jun Le, et al.
  Pubblicazione: (2020)
• The weakness of finding descending sequences in ill-founded linear orders
  di: Goh, Jun Le, et al.
  Pubblicazione: (2024)
• The tree pigeonhole principle in the Weihrauch degrees
  di: Dzhafarov, Damir, et al.
  Pubblicazione: (2023)
• The Galvin-Prikry Theorem in the Weihrauch lattice
  di: Marcone, Alberto, et al.
  Pubblicazione: (2024)