Formal definitions in the theory of ordinal numbers. (Q2601650)

Vorliegende Untersuchungen schließen sich an eine Arbeit von \textit{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 \textit{Church}schen 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.