Translator Disclaimer
June 2012 RT₂² does not imply WKL₀
Jiayi Liu
J. Symbolic Logic 77(2): 609-620 (June 2012). DOI: 10.2178/jsl/1333566640

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

Download 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

Published: June 2012
First available in Project Euclid: 4 April 2012

MathSciNet: MR2963024
Digital Object Identifier: 10.2178/jsl/1333566640

Subjects:
Primary: 03C62, 03D30, 03D80, 03F35

Rights: Copyright © 2012 Association for Symbolic Logic

JOURNAL ARTICLE
12 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.77 • No. 2 • June 2012
Back to Top