Zur Theorie der konstruktiven Wohlordnungen
- 1 December 1954
- journal article
- research article
- Published by Springer Nature in Mathematische Annalen
- Vol. 127 (1) , 135-149
- https://doi.org/10.1007/bf01361115
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- On definable sets of positive integersFundamenta Mathematicae, 1947
- On the Forms of the Predicates in the Theory of Constructive OrdinalsAmerican Journal of Mathematics, 1944
- Recursive predicates and quantifiersTransactions of the American Mathematical Society, 1943
- On notation for ordinal numbersThe Journal of Symbolic Logic, 1938
- The constructive second number classBulletin of the American Mathematical Society, 1938
- Formal definitions in the theory of ordinal numbersFundamenta Mathematicae, 1937
- General recursive functions of natural numbersMathematische Annalen, 1936
- Gesammelte AbhandlungenPublished by Springer Nature ,1932
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931