Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6424790 | Annals of Pure and Applied Logic | 2014 | 20 Pages |
Abstract
We study the strength of RRT23, Rainbow Ramsey Theorem for colorings of triples, and prove that RCA0+RRT23 implies neither WKL0 nor RRT24. 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 â â²-recursive sequence (2-bounded coloring of pairs) admits a low3 cohesive set (infinite rainbow).
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Wei Wang,