×

Recursion-theoretic hierarchies. (English) Zbl 0371.02017

Perspectives in Mathematical Logic. Berlin-Heidelberg-New York: Springer-Verlag. XII, 480 p. (1978).

MSC:

03D60 Computability and recursion theory on ordinals, admissible sets, etc.
03D65 Higher-type and set recursion theory
03D55 Hierarchies of computability and definability
03E15 Descriptive set theory
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations