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.

Phase transition results for three Ramsey-like theorems

Phase transitions in the Ramsey-Turán theory

Resolution of the Kohayakawa-Kreuter conjecture

Ramsey properties of randomly perturbed hypergraphs

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

An inside/outside Ramsey theorem and recursion theory

Sharpness of the phase transition for continuum percolation in R^2

New Ramsey Multiplicity Bounds and Search Heuristics

Lower bounds for Ramsey numbers as a statistical physics problem

Ramsey problems for monotone paths in graphs and hypergraphs

Generalized Ramsey numbers at the linear and quadratic thresholds

The list-Ramsey threshold for families of graphs

From abstract alpha-Ramsey theory to abstract ultra-Ramsey theory

On off-diagonal hypergraph Ramsey numbers

Reverse mathematics and infinite traceable graphs

A combinatorial approach to phase transitions in random graph isomorphism problems

Sharp phase transition and critical behaviour in 2D divide and colour models

Some Rigorous Results on the Phase Transition of Finitary Random Interlacements

Thresholds for constrained Ramsey and anti-Ramsey problems

The connectivity and phase transition in inhomogeneous random graphs of finite types

Large recurrence of the polynomial Van der Waerden's theorem and its application in Ramsey theory