English

A Survey of Muchnik and Medvedev degrees

Logic 2010-07-15 v1

Abstract

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

Keywords

Cite

@article{arxiv.1007.2376,
  title  = {A Survey of Muchnik and Medvedev degrees},
  author = {Peter G. Hinman},
  journal= {arXiv preprint arXiv:1007.2376},
  year   = {2010}
}

Comments

70 pages