×

zbMATH — the first resource for mathematics

Formal definitions in the theory of ordinal numbers. (English) JFM 63.0029.02
Vorliegende Untersuchungen schließen sich an eine Arbeit von Kleene an (Amer. J. Math. 57 (1935), 153-173, 219-244; F. d. M. 61\(_{\text{I}}\), 55, 56), deren Symbolik und Terminologie weiter benutzt wird. Die Theorie der formalen Definition innerhalb des Churchschen Aufbaus der Logik, die in der früheren Arbeit für zahlentheoretische Funktionen entwickelt wurde, wird hier auf die Definition der transfiniten Ordinalzahlen und der zugehörigen Funktionen ausgedehnt.

PDF BibTeX XML Cite
Full Text: EuDML