Abstract first order computability. II
HTML articles powered by AMS MathViewer
- by Yiannis N. Moschovakis PDF
- Trans. Amer. Math. Soc. 138 (1969), 465-504 Request permission
References
- R. O. Gandy, Proof of Mostowski’s conjecture, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 8 (1960), 571–575 (English, with Russian summary). MR 126383 —, General recursive functionals of finite type and hierarchies of functions, mimeographed copy of paper presented at the Symposium on Mathematical Logic, University of Clermont-Ferrand, June 1962.
- Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790
- S. C. Kleene, On the forms of the predicates in the theory of constructive ordinals. II, Amer. J. Math. 77 (1955), 405–428. MR 70595, DOI 10.2307/2372632
- S. C. Kleene, Recursive functionals and quantifiers of finite types. I, Trans. Amer. Math. Soc. 91 (1959), 1–52. MR 102480, DOI 10.1090/S0002-9947-1959-0102480-9
- Yiannis N. Moschovakis, Hyperanalytic predicates, Trans. Amer. Math. Soc. 129 (1967), 249–282. MR 236010, DOI 10.1090/S0002-9947-1967-0236010-2 —, Post’s theorem in the analytic hierarchy, (in preparation).
- C. Spector, Hyperarithmetical quantifiers, Fund. Math. 48 (1959/60), 313–320. MR 120147, DOI 10.4064/fm-48-3-313-320
- Hao Wang, Alternative proof of a theorem of Kleene, J. Symbolic Logic 23 (1958), 250. MR 103820, DOI 10.2307/2964282
Additional Information
- © Copyright 1969 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 138 (1969), 465-504
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9947-69-99947-4