Abstract
We survey the theory of Mucnik (weak) and Medvedev (strong) degrees of subsets of $^{\omega}{\omega}$with particular attention to the degrees of $\Pi_{1}^{0}$ subsets of $^{\omega}2$. Sections 1-6 present the major definitions and results in a uniform notation. Sections 7-6 present proofs, some more complete than others, of the major results of the subject together with much of the required background material.
Citation
Peter G. Hinman. "A survey of Mučnik and Medvedev degrees." Bull. Symbolic Logic 18 (2) 161 - 229, June 2012. https://doi.org/10.2178/bsl/1333560805
Information