Abstract.
We investigate Turing cones as sets of reals, and look at the relationship between Turing cones, measures, Baire category and special sets of reals, using these methods to show that Martin's proof of Turing Determinacy (every determined Turing closed set contains a Turing cone or is disjoint from one) does not work when you replace “determined” with “Blackwell determined”. This answers a question of Tony Martin.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 6 December 1999 / Revised version: 28 June 2000 Published online: 3 October 2001
Rights and permissions
About this article
Cite this article
Löwe, B. Turing cones and set theory of the reals. Arch. Math. Logic 40, 651–664 (2001). https://doi.org/10.1007/s001530100092
Issue Date:
DOI: https://doi.org/10.1007/s001530100092