Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



On hierarchies and systems of notations

Author: Hilary Putnam
Journal: Proc. Amer. Math. Soc. 15 (1964), 44-50
MSC: Primary 02.77
MathSciNet review: 0157898
Full-text PDF

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • [C] A. Church, The constructive second number class, Bull. Amer. Math. Soc. 44 (1938), 224-232. MR 1563715
  • [CK] A. Church and S. C. Kleene, Formal definitions in the theory of ordinal numbers, Fund. Math. 28 (1937), 11-21.
  • [K1] S. C. Kleene, Arithmetical predicates and function quantifiers, Trans. Amer. Math. Soc. 79 (1955), 193-213. MR 0070594 (17:4g)
  • [K2] -, Introduction to metamathematics, Van Nostrand, New York, 1952. MR 0051790 (14:525m)
  • [KR] D. L. Kreider and H. Rogers, Jr., Constructive versions of ordinal number classes, Trans. Amer. Math. Soc. 100 (1961), 325-369. MR 0151396 (27:1381)
  • [P] H. Putnam, Uniqueness ordinals in higher constructive number classes, Essays on the foundations of mathematics, pp. 190-206, Magnes Press, Jerusalem, 1961. MR 0167413 (29:4686)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 02.77

Retrieve articles in all journals with MSC: 02.77

Additional Information

Article copyright: © Copyright 1964 American Mathematical Society

American Mathematical Society