Abstract:Inspired by Ramsey's theorem for pairs, Rival and Sands proved what we refer to as an inside/outside Ramsey theorem: every infinite graph $G$ contains an infinite subset $H$ such that every vertex of $G$ is adjacent to precisely none, one, or infinitely many vertices of $H$. We analyze the Rival-Sands theorem from the perspective of reverse mathematics and the Weihrauch degrees. In reverse mathematics, we find that the Rival-Sands theorem is equivalent to arithmetical comprehension and hence is stronger than Ramsey's theorem for pairs. We also identify a weak form of the Rival-Sands theorem that is equivalent to Ramsey's theorem for pairs. We turn to the Weihrauch degrees to give a finer analysis of the Rival-Sands theorem's computational strength. We find that the Rival-Sands theorem is Weihrauch equivalent to the double jump of weak König's lemma. We believe that the Rival-Sands theorem is the first natural theorem shown to exhibit exactly this strength. Furthermore, by combining our result with a result of Brattka and Rakotoniaina, we obtain that solving one instance of the Rival-Sands theorem exactly corresponds to simultaneously solving countably many instances of Ramsey's theorem for pairs. Finally, we show that the uniform computational strength of the weak Rival-Sands theorem is weaker than that of Ramsey's theorem for pairs by showing that a number of well-known consequences of Ramsey's theorem for pairs do not Weihrauch reduce to the weak Rival-Sands theorem. We also address an apparent gap in the literature concerning the relationship between Weihrauch degrees corresponding to the ascending/descending sequence principle and the infinite pigeonhole principle.

Weak well orders and Fraïssé's conjecture

Fraïssé's conjecture, partial impredicativity and well-ordering principles, part I

(Extra)ordinary equivalences with the ascending/descending sequence principle

Interval orders and reverse mathematics

Geometric realizations of the $s$-weak order and its lattice quotients

The Prehistory of the Subsystems of Second-Order Arithmetic

On the Well Extension of Partial Well Orderings

Higman's Lemma is Stronger for Better Quasi Orders

The weakness of finding descending sequences in ill-founded linear orders

Well-orders in the transfinite Japaridze algebra II: Turing progressions and their well-orders

Countable Ordered Groups and Weihrauch Reducibility

Between weak and Bruhat: the middle order on permutations

On inverse Goodstein sequences

On well quasi orders of free monoids

Affine extended weak order is a lattice

Computational reverse mathematics and foundational analysis

The [math]-Weak Order and [math]-Permutahedra I: Combinatorics and Lattice Structure

An inside/outside Ramsey theorem and recursion theory

Reflection ranks via infinitary derivations

Stronger arithmetic equivalence

An isomorphism theorem for models of weak König’s lemma without primitive recursion