On hierarchies and systems of notations
HTML articles powered by AMS MathViewer
- by Hilary Putnam
- Proc. Amer. Math. Soc. 15 (1964), 44-50
- DOI: https://doi.org/10.1090/S0002-9939-1964-0157898-2
- PDF | Request permission
References
- Alonzo Church, The constructive second number class, Bull. Amer. Math. Soc. 44 (1938), no. 4, 224–232. MR 1563715, DOI 10.1090/S0002-9904-1938-06720-1 A. Church and S. C. Kleene, Formal definitions in the theory of ordinal numbers, Fund. Math. 28 (1937), 11-21.
- S. C. Kleene, Arithmetical predicates and function quantifiers, Trans. Amer. Math. Soc. 79 (1955), 312–340. MR 70594, DOI 10.1090/S0002-9947-1955-0070594-4
- Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790
- 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
- 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
Bibliographic Information
- © Copyright 1964 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 15 (1964), 44-50
- MSC: Primary 02.77
- DOI: https://doi.org/10.1090/S0002-9939-1964-0157898-2
- MathSciNet review: 0157898