Constructive transfinite number classes
HTML articles powered by AMS MathViewer
- by Wayne Richter PDF
- Bull. Amer. Math. Soc. 73 (1967), 261-265
References
-
1. J. W. Addison, Hierarchies and the axiom of constructibility, 2nd ed., Summer Institute for Symbolic Logic, Cornell University, Ithaca, N. Y., 1957, pp. 355-362, Institute for Defense Analyses, Princeton, New Jersey, 1960.
2. R. O. Gandy, General recursive functionals of finite type and hierarchies of functions (mimeographed), 1962.
- 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
- Donald L. Kreider and Hartley Rogers Jr., Constructive versions of ordinal number classes, Trans. Amer. Math. Soc. 100 (1961), 325–369. MR 151396, DOI 10.1090/S0002-9947-1961-0151396-X 6. G. Kreisel, Review of "On hierarchies and systems of notation", Math. Reviews 28 (1964), 224.
- Hilary Putnam, Uniqueness ordinals in higher constructive number classes, Essays on the foundations of mathematics, Magnes Press, Hebrew Univ., Jerusalem, 1961, pp. 190–206. MR 0167413
- Hilary Putnam, On hierarchies and systems of notations, Proc. Amer. Math. Soc. 15 (1964), 44–50. MR 157898, DOI 10.1090/S0002-9939-1964-0157898-2
- Wayne Richter, Extensions of the constructive ordinals, J. Symbolic Logic 30 (1965), 193–211. MR 219418, DOI 10.2307/2270134
- J. R. Shoenfield, The form of the negation of a predicate, Proc. Sympos. Pure Math., Vol. V, American Mathematical Society, Providence, R.I., 1962, pp. 131–134. MR 0142449 11. J. R. Shoenfield, A hierarchy for objects of type 2, Abstract 65T-173, Notices Amer. Math. Soc. 12 (1965), 369-370.
- Tosiyuki Tugué, Predicates recursive in a type-2 object and Kleene hierarchies, Comment. Math. Univ. St. Paul. 8 (1960), 97–117. MR 110639
- Yoshindo Suzuki, A complete classification of the $\Delta _{2}^{1}$-functions, Bull. Amer. Math. Soc. 70 (1964), 246–253. MR 158819, DOI 10.1090/S0002-9904-1964-11104-6
Additional Information
- Journal: Bull. Amer. Math. Soc. 73 (1967), 261-265
- DOI: https://doi.org/10.1090/S0002-9904-1967-11710-5
- MathSciNet review: 0207557