A Δ02 Set with no Infinite Low Subset in
Either It or Its Complement
Status: published in the Journal
of
Symbolic Logic 66 (2001)
1371 - 1381.
Availability: journal
version and preprint
Abstract.
We construct the set of the title, answering a question of Cholak,
Jockusch, and Slaman, and discuss its connections with the
study of the proof-theoretic strength and effective content of
versions of Ramsey's Theorem.
drh@math.uchicago.edu