加载中…
In \cite{J}, Theorem 4.2, Jockusch proves that for any computable k-coloring of pairs of integers, there is an infinite homogeneous set. The proof uses a countable collection of sets as potential infinite homogeneous sets. In a remark preceding the proof, Jockusch states without proof that it can be shown that there is no computable way to prove this result with a finite number of sets. We provide a proof of this latter fact.

生成讲解博客的中文版本

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