A survey of Mučnik and Medvedev degrees
We survey the theory of Mučnik (weak) and Medvedev (strong) degrees of subsets of ωω with particular attention to the degrees of Π01 subsets of ω2. Sections 1—6 present the major definitions and results in a uniform notation. Sections 7—16 present proofs, some more complete than others, of the major results of the subject together with much of the required background material.
Permanent link to this document: http://projecteuclid.org/euclid.bsl/1333560805
Digital Object Identifier: doi:10.2178/bsl/1333560805
Zentralblatt MATH identifier: 06048105
Mathematical Reviews number (MathSciNet): MR2931672