References
Aczel, P., Hinman, P.G.: Recursion in the superjump. In: Fenstad, J.E., Hinman, P.G. (eds.) Generalized recursion theory. (North-Holland Stud. Logic, vol. 79, pp. 3–41) Amsterdam London New York: North-Holland 1974
Feferman, S.: Theories of finite type related to mathematical practice. In: Barwise, K.J. (ed.) Handbook of mathematical logic. (North-Holland Stud. Logic, vol. 90, pp. 913–971) Amsterdam London New York: North-Holland 1977
Sacks, G.E.: The 1-section of a typen object. In: Fenstad, J.E., Hinman, P.G. (eds.) Generalized recursion theory. (North-Holland Stud. Logic, vol. 79, pp. 81–93) Amsterdam London New York: North-Holland 1974
Schwichtenberg, H.: Elimination of higher type levels in definitions of primitive recursive functionals by means of transfinite recursion. In: Rose, H.E., Shepherdson, J.C. (eds.) Proc. Logic Colloq. '73. (North-Holland Stud. Logic, vol. 80, pp. 279–303) Amsterdam Oxford New York: North-Holland 1975
Schwichtenberg, H., Wainer, S.S.: Infinite terms and recursion in higher types. In: Diller, J., Müller, G.H. (eds.) ISILC Proof Theory Symposium in honour of K. Schütte, Kiel 1974. (Lect. Notes Math., vol. 500, pp. 341–364) Berlin Heidelberg New York: Springer 1975
Wainer, S.S.: A hierarchy for the 1-section of any type-2 object. J. Symb. Logic39, 88–94 (1974)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wainer, S.S. A plus-1 theorem for sub-sections. Arch Math Logic 27, 101–105 (1988). https://doi.org/10.1007/BF01620759
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01620759