$\mathsf{RT}_2^2$ does not imply $\mathsf{WKL}_0$
Logic
2016-02-12 v1
Abstract
We prove that by showing that for any set not of PA-degree and any set , there exists an infinite subset of or , such that is also not of PA-degree.
Cite
@article{arxiv.1602.03784,
title = {$\mathsf{RT}_2^2$ does not imply $\mathsf{WKL}_0$},
author = {Lu Liu},
journal= {arXiv preprint arXiv:1602.03784},
year = {2016}
}
Comments
12 pages