RT22 does not imply WKL0
Top Cited Papers
Open Access
- 1 June 2012
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 77 (2), 609-620
- https://doi.org/10.2178/jsl/1333566640
Abstract
We prove that by showing that for any set C not of PA-degree and any set A, there exists an infinite subset G of A or such that G ⊕ C is also not of PA-degree.Keywords
This publication has 3 references indexed in Scilit:
- Subsystems of Second Order ArithmeticPublished by Springer Science and Business Media LLC ,1999
- On the Strength of Ramsey's TheoremNotre Dame Journal of Formal Logic, 1995
- On a Problem of Formal LogicProceedings of the London Mathematical Society, 1930