The jump is definable in the structure of the degrees of unsolvability
Cooper, S. Barry
Bull. Amer. Math. Soc. (N.S.), Tome 23 (1990) no. 1, p. 151-158 / Harvested from Project Euclid
Publié le : 1990-07-14
Classification:  03D30
@article{1183555728,
     author = {Cooper, S. Barry},
     title = {The jump is definable in the structure of the degrees of unsolvability},
     journal = {Bull. Amer. Math. Soc. (N.S.)},
     volume = {23},
     number = {1},
     year = {1990},
     pages = { 151-158},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183555728}
}
Cooper, S. Barry. The jump is definable in the structure of the degrees of unsolvability. Bull. Amer. Math. Soc. (N.S.), Tome 23 (1990) no. 1, pp.  151-158. http://gdmltest.u-ga.fr/item/1183555728/