A survey of non-r.e. degrees \(\leq 0'\). (English) Zbl 0475.03020

Recursion theory: its generalisations and applications, Proc. Logic Colloq., Leeds/Engl. 1979, Lond. Math. Soc. Lect. Note Ser. 45, 52-109 (1980).


03D30 Other degrees and reducibilities in computability and recursion theory
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations


Zbl 0431.00003