mathsf{RT}₂² does not imply mathsf{WKL}₀
classification
🧮 math.LO
keywords
mathsfpa-degreeexistsimplyinfiniteoplusproverightarrow
read the original abstract
We prove that $\mathsf{RCA}_0+\mathsf{RT}_2^2\not\rightarrow \mathsf{WKL}_0$ by showing that for any set $C$ not of PA-degree and any set $A$, there exists an infinite subset $G$ of $A$ or $\bar{A}$, such that $G\oplus C$ is also not of PA-degree.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.