Hyperanalytic predicates
HTML articles powered by AMS MathViewer
- by Yiannis N. Moschovakis
- Trans. Amer. Math. Soc. 129 (1967), 249-282
- DOI: https://doi.org/10.1090/S0002-9947-1967-0236010-2
- PDF | Request permission
References
- D. A. Clarke, Hierarchies of predicates of finite types, Mem. Amer. Math. Soc. 51 (1964), 95. MR 175759 R. O. Gandy, General recursive functionals of finite type and hierarchies of functions, mimeographed copy of paper presented at the Sympos. Math. Logic, Univ. of Clermont Ferrand, June 1962. (Similar material was presented by Gandy at the Summer School in Math. Logic, Univ. of Leicester, August 1965, and a paper will appear in the Proceedings of that Summer School.)
- 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, Quantification of number-theoretic functions, Compositio Math. 14 (1959), 23–40. MR 103822
- 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
- S. C. Kleene, Recursive functionals and quantifiers of finite types. II, Trans. Amer. Math. Soc. 108 (1963), 106–142. MR 153557, DOI 10.1090/S0002-9947-1963-0153557-4 H. Rogers, Jr., Recursive functions and effective computability, McGraw-Hill, New York. J. R. Shoenfield, A hierarchy for objects of type 2, Abstract 65T-173, Notices Amer. Math. Soc. 81 (1965), 369.
- Clifford Spector, Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics, Proc. Sympos. Pure Math., Vol. V, American Mathematical Society, Providence, R.I., 1962, pp. 1–27. MR 0154801
Bibliographic Information
- © Copyright 1967 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 129 (1967), 249-282
- MSC: Primary 02.72
- DOI: https://doi.org/10.1090/S0002-9947-1967-0236010-2
- MathSciNet review: 0236010