The theory of transfinite recursion
HTML articles powered by AMS MathViewer
- by M. Machover PDF
- Bull. Amer. Math. Soc. 67 (1961), 575-578
References
- Kurt Gödel, The Consistency of the Continuum Hypothesis, Annals of Mathematics Studies, No. 3, Princeton University Press, Princeton, N. J., 1940. MR 0002514, DOI 10.1515/9781400881635 2. C. R. Karp, Formalizations of functional languages with wffs of infinite length, Abstract 542-57, Notices Amer. Math. Soc. vol. 5 (1958) pp. 172-173.
- Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790
- D. Scott and A. Tarski, The sentential calculus with infinitely long expressions, Colloq. Math. 6 (1958), 165–170. MR 99914, DOI 10.4064/cm-6-1-165-170
- A. Tarski, Remarks on predicate logic with infinitely long expressions, Colloq. Math. 6 (1958), 171–176. MR 99915, DOI 10.4064/cm-6-1-171-176
Additional Information
- Journal: Bull. Amer. Math. Soc. 67 (1961), 575-578
- DOI: https://doi.org/10.1090/S0002-9904-1961-10696-4
- MathSciNet review: 0142448