An inside/outside Ramsey theorem and recursion theory

Marta Fiori-Carones, Paul Shafer, Giovanni Soldà

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 t…