加载中…
We study a restriction of Ramsey’s theorem for 2-coloring of triples, in which homogeneous sets for color~1 are of bounded size (). We prove that the computational content of this statement is very close to Ramsey’s theorem for pairs (, in that it satisfies the same known computability-theoretic upper bounds, but that is not computably-reducible to , even when allowing multiple applications of .

生成讲解博客的中文版本

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