Recursive functions defined by ordinal recursions
HTML articles powered by AMS MathViewer
- by R. J. Fabian and C. F. Kent PDF
- Proc. Amer. Math. Soc. 23 (1969), 206-210 Request permission
References
- Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790
- Shih-chao Liu, A theorem on general recursive functions, Proc. Amer. Math. Soc. 11 (1960), 184–187. MR 130175, DOI 10.1090/S0002-9939-1960-0130175-8
- Shih-chao Liu, A generalized concept of primitive recursion and its application to deriving general recursive functions, Hung-Ching Chow 60th Anniversary Vol., Inst. of Math., Acad. Sinica, Taipei, 1962, pp. 93–98. MR 0175775
- Werner Markwald, Zur Theorie der konstruktiven Wohlordnungen, Math. Ann. 127 (1954), 135–149 (German). MR 61076, DOI 10.1007/BF01361115 J. Myhill, A stumbling-block in constructive mathematics, J. Symbolic Logic 18 (1953), 190-191. —, Review of [L 62], Math. Reviews 31 (1966), 51.
- Rózsa Péter, Zusammenhang der mehrfachen und transfiniten Rekursionen, J. Symbolic Logic 15 (1950), 248–272 (German). MR 38913, DOI 10.2307/2268337
- N. A. Routledge, Ordinal recursion, Proc. Cambridge Philos. Soc. 49 (1953), 175–182. MR 53046, DOI 10.1017/s0305004100028255
Additional Information
- © Copyright 1969 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 23 (1969), 206-210
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9939-1969-0249293-7
- MathSciNet review: 0249293