Abstract
We prove that RCA₀+RT₂² ⇸ WKL₀ by showing that for any set C not of PA-degree and any set A, there exists an infinite subset G of A or A̅, such that G⊕C is also not of PA-degree.
Citation
Jiayi Liu. "RT₂² does not imply WKL₀." J. Symbolic Logic 77 (2) 609 - 620, June 2012. https://doi.org/10.2178/jsl/1333566640
Information