Controlling iterated jumps of solutions to combinatorial problems
Ludovic Patey · Computability · 2016
Among the Ramsey-type hierarchies, namely, Ramsey’s theorem, the free set, the thin set and the rainbow Ramsey theorem, only Ramsey’s theorem is known to collapse in reverse mathematics. A promising approach to show the strictness of the hierarchies