Literaturverzeichnis
Cantor, G.: [1] Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Hrsg. vonE. Zermelo, Berlin 1932.
Church, A.: [1] The constructive second number class. Bull. Amer. Math. Soc.44, 224–232 (1938).
Church, A., u.S. C. Kleene: [1] Formal definitions in the theory of ordinal numbers. Fundam. Math.28, 11–21 (1936).
Gödel, K.: [1] Über formal unentscheidbare Sätze der Principia Mathematica und verwandter System 1. Mh. Math. Phys.38, 173–198 (1931).
Kleene, S. C.: [1] On notation for ordinal numbers. J. Symbolic Logic3, 150–155 (1938);
[2] On the forms of the predicates in the theory of constructive ordinals. Amer. J. Math.66, 41–58 (1944);
[3] Recursive predicates and quantifiers. Trans. Amer. Math. Soc.53, 41–73; (1943);
[4] General recursive functions of natural numbers. Math. Ann.112, 727–742 (1936);
Introduction to Metamathematics. Amsterdam 1952.
Mostowski, A.: [1] On definable sets of positive integers. Fundam. Math.34, 81–111 (1946).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Markwald, W. Zur Theorie der konstruktiven Wohlordnungen. Math. Ann. 127, 135–149 (1954). https://doi.org/10.1007/BF01361115
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01361115