This is a preview of subscription content, access via your institution.
Bibliography
Gandy, R.,General recursive functionals of finite type and hierarchies of functions, University of Clermont-Ferrand, 1962.
Sacks, G. E., ‘The 1-section of a typen object’, inGeneralized Recursion Theory, North Holland, 1973.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Normann, D. On abstract 1-sections. Synthese 27, 259–263 (1974). https://doi.org/10.1007/BF00660899
Issue Date:
DOI: https://doi.org/10.1007/BF00660899