A Δ02 set with no infinite low subset in either it or its complement

Journal of Symbolic Logic

Volumn 66, Issue 3, 2001, Pages 1371-1381

  Downey, Rod ^a   Hirschfeldt, Denis R ^a,b   Lempp, Steffen ^c   Solomon, Reed ^c  

^a VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

^b UNIVERSITY OF CHICAGO   (United States)

^c UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035639135     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2695113     Document Type: Article

References (3)

1. P. A. CHOLAK, C. G. JOCKUSCH, JR., and T. A. SLAMAN, On the strength of Ramsey's theorem for pairs, to appear in this journal.
2. S. G. SIMPSON, Subsystems of second order arithmetic, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1999.
3. R. I. SOARE, Recursively enumerable sets and degrees, Perspectives in Mathematical Logic, Springer-Verlag, Heidelberg, 1987.