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.

On Ramsey degrees, compactness and approximability

Dual Ramsey degrees of relational structures over finite languages

Fraïssé's Conjecture and big Ramsey degrees of structures admitting finite monomorphic decomposition

Big Ramsey Degrees in Ultraproducts of Finite Structures

A survey on big Ramsey structures

Big Ramsey Degrees and Infinite Languages

Characterisation of the big Ramsey degrees of the generic partial order

Anticoncentration in Ramsey graphs and a proof of the Erdős-McKay conjecture

Big Ramsey degrees in the metric setting

Big Ramsey Degrees of Countable Ordinals

Borel sets of Rado graphs and Ramsey's Theorem

On Ramsey Size-Linear Graphs and Related Questions

More Ramsey theory for highly connected monochromatic subgraphs

A Ramsey theorem for the reals

A short note on the characterization of countable chains with finite big Ramsey spectra

On Ramsey-Minimal Infinite Graphs

On the Weihrauch degree of the additive Ramsey theorem

Some Ramsey-type results

An inside/outside Ramsey theorem and recursion theory

Tukey reducibility for categories -- In search of the strongest statement in finite Ramsey theory

The externally definable Ramsey property and fixed points on type spaces