×

Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium. (English) Zbl 0453.03047

Studies in Logic and the Foundations of Mathematics, Vol. 94. Amsterdam - New York - Oxford: North-Holland Publishing Company. VIII, 466 p. $ 41.50; Dfl. 95.00 (1978).

MSC:

03D60 Computability and recursion theory on ordinals, admissible sets, etc.
03D75 Abstract and axiomatic computability and recursion theory
03D65 Higher-type and set recursion theory
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03C55 Set-theoretic model theory
03E15 Descriptive set theory
03D70 Inductive definability
03D20 Recursive functions and relations, subrecursive hierarchies
03D25 Recursively (computably) enumerable sets and degrees
03E99 Set theory

Citations:

Zbl 0316.02047