Recursive functions of one variable
HTML articles powered by AMS MathViewer
- by Julia Robinson PDF
- Proc. Amer. Math. Soc. 19 (1968), 815-820 Request permission
References
- Georg Kreisel and William W. Tait, Finite definability of number-theoretic functions and parametric completeness of equational calculi, Z. Math. Logik Grundlagen Math. 7 (1961), 28–38. MR 131975, DOI 10.1002/malq.19610070107
- Julia Robinson, An introduction to hyperarithmetical functions, J. Symbolic Logic 32 (1967), 325–342. MR 224472, DOI 10.2307/2270774
- Raphael M. Robinson, Primitive recursive functions, Bull. Amer. Math. Soc. 53 (1947), 925–942. MR 22536, DOI 10.1090/S0002-9904-1947-08911-4
Additional Information
- © Copyright 1968 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 19 (1968), 815-820
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9939-1968-0230618-2
- MathSciNet review: 0230618