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. In particular, our result implies that every ω-model of must contain a nonlow set.
Email your librarian or administrator to recommend adding this journal to your organisation's collection.
* Views captured on Cambridge Core between September 2016 - 21st August 2017. This data will be updated every 24 hours.