























Let $\mathsf{TT}^1$ be the combinatorial principle stating that every finite coloring of the infinite full binary tree has a homogeneous isomorphic subtree. Let $\mathsf{RT}^2_2$ and $\mathsf{WKL}_0$ denote respectively the principles of Ramsey's theorem for pairs and weak König's lemma. It is proved that $\mathsf{TT}^1+\mathsf{RT}^2_2+\mathsf{WKL}_0$ is $Π^0_3$-conservative over the base system $\mathsf{RCA}_0$. Thus over $\mathsf{RCA}_0$, $\mathsf{TT}^1$ and Ramsey's theorem for pairs prove the same $Π^0_3$-sentences.
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。