Fenstad, Jens Erik (ed.); Gandy, R. O. (ed.); Sacks, G. E. (ed.) [Barwise, J.; Bergstra, J.; Feferman, S.; Fenstad, Jens Erik; Friedman, S. D.; Hyland, J. M. E.; Kechris, A. S.; Kleene, S. C.; Lerman, M.; Maass, W.; Marek, W.; Nyberg, A. M.; Moldestad, J.; Normann, D.; Stoltenberg-Hansen, V.; Shore, R. A.; Simpson, S. G.; Wainer, S. S.] 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 9 ReviewsCited in 2 Documents 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 Keywords:Recursion theory; Proceedings; Symposium; Oslo; extendability of ZF models; von Neumann hierarchy; KM theory of classes; alpha-recursion; beta recursion; continuous functionals Citations:Zbl 0316.02047 PDFBibTeX XML