The formal structure of a denumerable system
HTML articles powered by AMS MathViewer
- by R. L. Goodstein PDF
- Trans. Amer. Math. Soc. 68 (1950), 174-182 Request permission
References
-
D. Hilbert and P. Bernays, Grundlagen der Mathematik, Berlin, Springer, vol. 1, 1934, vol. 2, 1939.
- R. L. Goodstein, Function theory in an axiom-free equation calculus, Proc. London Math. Soc. (2) 48 (1945), 401–434. MR 18131, DOI 10.1112/plms/s2-48.1.401 —, Mathematical analysis, Oxford, Clarendon, 1948. H. Weyl, Das Kontinuum, Leipzig, 1918. F. B. Fitch, The consistency of the ramified principia, Journal of Symbolic Logic vol. 3 (1938).
Additional Information
- © Copyright 1950 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 68 (1950), 174-182
- MSC: Primary 02.0X
- DOI: https://doi.org/10.1090/S0002-9947-1950-0037260-8
- MathSciNet review: 0037260