Formal definitions in the theory of ordinal numbers.

MaRDI QIDQ2601650zbMATH OpenFDO

Authors Alonzo Church, Stephen Cole Kleene

Publication date 1937

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/212918

Review text

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.

Cited in

(1)

• Generically computable linear orderings

This page was built for publication: Formal definitions in the theory of ordinal numbers.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2601650)