加载中…
We study the strength of , Rainbow Ramsey Theorem for colorings of triples, and prove that implies neither nor . 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 cohesive set (infinite rainbow).

生成讲解博客的中文版本

生成AI智能校验的中文版本