The upper semi-lattice of degrees of recursive unsolvability. Kleene, S. C. & Post, E. L. Ann. of Math. (2), 59:379–407, 1954.
bibtex   
@ARTICLE{KP54,
  author = {Kleene, Stephen C. and Post, Emil L.},
  title = {The upper semi-lattice of degrees of recursive unsolvability},
  journal = {Ann. of Math. (2)},
  year = {1954},
  volume = {59},
  pages = {379--407},
  file = {KP54.pdf:KP54.pdf:PDF},
  fjournal = {Annals of Mathematics. Second Series},
  issn = {0003-486X},
  mrclass = {02.0X},
  mrnumber = {0061078 (15,772a)},
  mrreviewer = {P. Lorenzen}
}

Downloads: 0