pith. sign in

Somewhere over the rainbow Ramsey theorem for pairs

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
abstract

The rainbow Ramsey theorem states that every coloring of tuples where each color is used a bounded number of times has an infinite subdomain on which no color appears twice. The restriction of the statement to colorings over pairs (RRT22) admits several characterizations: it is equivalent to finding an infinite subset of a 2-random, to diagonalizing against Turing machines with the halting set as oracle... In this paper we study principles that are closely related to the rainbow Ramsey theorem, the Erd\H{o}s Moser theorem and the thin set theorem within the framework of reverse mathematics. We prove that the thin set theorem for pairs implies RRT22, and that the stable thin set theorem for pairs implies the atomic model theorem over RCA. We define different notions of stability for the rainbow Ramsey theorem and establish characterizations in terms of Ramsey-type K\"onig's lemma, relativized Schnorr randomness or diagonalization of Delta2 functions.

fields

math.LO 1

years

2024 1

verdicts

UNVERDICTED 1

representative citing papers

Ramsey-like theorems for the Schreier barrier

math.LO · 2024-12-16 · unverdicted · novelty 7.0

Generalizations of Free Set, Thin Set, and Rainbow Ramsey theorems are proved for the Schreier barrier, with computability analysis showing that the first two can code ∅^(ω) while the third does not code 0'.

citing papers explorer

Showing 1 of 1 citing paper.

  • Ramsey-like theorems for the Schreier barrier math.LO · 2024-12-16 · unverdicted · none · ref 27 · internal anchor

    Generalizations of Free Set, Thin Set, and Rainbow Ramsey theorems are proved for the Schreier barrier, with computability analysis showing that the first two can code ∅^(ω) while the third does not code 0'.