Cohesive sets and rainbows
Abstract
We study the strength of $\RRT^3_2$, Rainbow Ramsey Theorem for colorings of triples, and prove that $\RCA + \RRT^3_2$ implies neither $\WKL$ nor $\RRT^4_2$. To this end, we establish some recursion theoretic properties of cohesive sets and rainbows for colorings of pairs. We show that every sequence (2-bounded coloring of pairs) admits a cohesive set (infinite rainbow) of non-PA Turing degree; and that every $\emptyset'$-recursive sequence (2-bounded coloring of pairs) admits a $\low_3$ cohesive set (infinite rainbow).
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2013
- DOI:
- 10.48550/arXiv.1303.3329
- arXiv:
- arXiv:1303.3329
- Bibcode:
- 2013arXiv1303.3329W
- Keywords:
-
- Mathematics - Logic;
- 03B30;
- 03F35
- E-Print:
- Annals of Pure and Applied Logic, 165(2): 389--408, 2013