Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Carlucci, Lorenzo, Celli, Giordano
Format:	Preprint
Published:	2025
Subjects:	Logic Combinatorics 03B30, 03D30, 05C55, 06A75
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The strength of Ramsey's theorem for $α$-large sets
by: Carlucci, Lorenzo, et al.
Published: (2026)

Finding descending sequences through ill-founded linear orders
by: Goh, Jun Le, et al.
Published: (2020)

The weakness of finding descending sequences in ill-founded linear orders
by: Goh, Jun Le, et al.
Published: (2024)

The tree pigeonhole principle in the Weihrauch degrees
by: Dzhafarov, Damir, et al.
Published: (2023)

The Galvin-Prikry Theorem in the Weihrauch lattice
by: Marcone, Alberto, et al.
Published: (2024)

Ramsey-like theorems for the Schreier barrier
by: Carlucci, Lorenzo, et al.
Published: (2024)

Countable Ordered Groups and Weihrauch Reducibility
by: Li, Ang
Published: (2024)

Ramsey-like theorems for separable permutations
by: Houérou, Quentin Le, et al.
Published: (2025)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
by: Cipriani, Vittorio, et al.
Published: (2022)

Well-quasi-orders on finite trees and transfinite sequences
by: Chopra, Alakh Dhruv, et al.
Published: (2026)

$Π^0_4$ conservation of Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2024)

A jump operator on the Weihrauch degrees
by: Andrews, Uri, et al.
Published: (2024)

The singleton degrees of the $Σ^0_2$ sets are not dense
by: Kent, Thomas F., et al.
Published: (2024)

Minimal covers in the Weihrauch degrees
by: Lempp, Steffen, et al.
Published: (2023)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
by: Hamkins, Joel David, et al.
Published: (2022)

Ramsey-like theorems and immunities
by: Mimouni, Ahmed, et al.
Published: (2025)

Tukey morphisms between finite relations
by: Barton, Rhett, et al.
Published: (2023)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
by: Aceves-Martínez, Bruno Fernando, et al.
Published: (2024)

Isolated d.c.e. degrees and $Σ_1$ induction
by: Liu, Yiqun, et al.
Published: (2025)

Chains and antichains in the Weihrauch lattice
by: Lempp, Steffen, et al.
Published: (2024)

More on the indivisibility of $\mathbb{Q}$
by: Pauly, Arno
Published: (2024)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
by: Buriola, Gabriele, et al.
Published: (2025)

On the cartesian product of well-orderings
by: Vialard, Isa
Published: (2022)

Force a set model of $Z_3$ + Harrington's Principle
by: Cheng, Yong
Published: (2014)

On Nash-Williams' Theorem regarding sequences with finite range
by: Pakhomov, Fedor, et al.
Published: (2024)

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
by: Sorg, Christopher
Published: (2026)

Open questions about Ramsey-type statements in reverse mathematics
by: Patey, Ludovic
Published: (2015)

The reverse mathematics of bounded Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2025)

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)

A note on Hindman-type theorems for uncountable cardinals
by: Carlucci, Lorenzo
Published: (2017)

Embeddability of graphs and Weihrauch degrees
by: Cipriani, Vittorio, et al.
Published: (2023)

The Weihrauch degree of finding Nash equilibria in multiplayer games
by: Crook, Tonicha, et al.
Published: (2021)

Dense Chains, Antichains, and Universal Partial Orders Inside a Bounded Finite-One Degree
by: Cintioli, Patrizio
Published: (2026)

A universal characterization of standard Borel spaces
by: Chen, Ruiyuan
Published: (2019)

The uniform Kruskal theorem over RCA$_0$
by: Uftring, Patrick
Published: (2025)

On the Rainbow Ramsey theorem and the Canonical Ramsey Theorem for pairs without AC
by: Banerjee, Amitayu, et al.
Published: (2024)

A complicated family of trees with omega + 1 levels
by: Shelah, Saharon
Published: (2014)

On a cofinal Reinhardt embedding without Powerset
by: Jeon, Hanul
Published: (2024)

A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)