×

zbMATH — the first resource for mathematics

Zur Theorie der konstruktiven Wohlordnungen. (German) Zbl 0056.04701

Keywords:
Set theory
PDF BibTeX XML Cite
Full Text: DOI EuDML
References:
[1] Cantor, G.: [1] Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Hrsg. vonE. Zermelo, Berlin 1932. · JFM 58.0043.01
[2] Church, A.: [1] The constructive second number class. Bull. Amer. Math. Soc.44, 224-232 (1938). · Zbl 0018.33803 · doi:10.1090/S0002-9904-1938-06720-1
[3] Church, A., u.S. C. Kleene: [1] Formal definitions in the theory of ordinal numbers. Fundam. Math.28, 11-21 (1936). · Zbl 0016.00201
[4] Gödel, K.: [1] Über formal unentscheidbare Sätze der Principia Mathematica und verwandter System 1. Mh. Math. Phys.38, 173-198 (1931). · JFM 57.0054.02
[5] Kleene, S. C.: [1] On notation for ordinal numbers. J. Symbolic Logic3, 150-155 (1938); · Zbl 0020.33803 · doi:10.2307/2267778
[6] [2] On the forms of the predicates in the theory of constructive ordinals. Amer. J. Math.66, 41-58 (1944); · Zbl 0061.01003 · doi:10.2307/2371894
[7] [3] Recursive predicates and quantifiers. Trans. Amer. Math. Soc.53, 41-73; (1943); · Zbl 0063.03259 · doi:10.1090/S0002-9947-1943-0007371-8
[8] [4] General recursive functions of natural numbers. Math. Ann.112, 727-742 (1936); · JFM 62.0044.02 · doi:10.1007/BF01565439
[9] Introduction to Metamathematics. Amsterdam 1952. · Zbl 0047.00703
[10] Mostowski, A.: [1] On definable sets of positive integers. Fundam. Math.34, 81-111 (1946). · Zbl 0031.19401
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.