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). MSC: 03D60 03D75 03D65 03-06 03C55 03E15 03D70 03D20 03D25 03E99 PDFBibTeX XML
Sacks, G. E.; Simpson, S. G. The \(\alpha\)-finite injury method. (English) Zbl 0262.02037 Ann. Math. Logic 4, 343-367 (1972). MSC: 03D60 03D30 PDFBibTeX XMLCite \textit{G. E. Sacks} and \textit{S. G. Simpson}, Ann. Math. Logic 4, 343--367 (1972; Zbl 0262.02037) Full Text: DOI