English

Cohesive sets and rainbows

Logic 2013-12-05 v1

Abstract

We study the strength of \RRT23\RRT^3_2, Rainbow Ramsey Theorem for colorings of triples, and prove that \RCA+\RRT23\RCA + \RRT^3_2 implies neither \WKL\WKL nor \RRT24\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 \low3\low_3 cohesive set (infinite rainbow).

Keywords

Cite

@article{arxiv.1303.3329,
  title  = {Cohesive sets and rainbows},
  author = {Wei Wang},
  journal= {arXiv preprint arXiv:1303.3329},
  year   = {2013}
}
R2 v1 2026-06-21T23:41:46.420Z