A Survey of Muchnik and Medvedev degrees
We survey the theory of Muchnik (weak) and Medvedev (strong) degrees of subsets of ${}^ωω$ with particular attention to the degrees of $Π^0_1$ subsets of ${}^\omega2$. Later sections present proofs, some more complete than others, of the major results of the subject.
math.LO↗