Formal definitions in the theory of ordinal numbers. (Q2601650)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2519813
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formal definitions in the theory of ordinal numbers. |
scientific article; zbMATH DE number 2519813 |
Statements
Formal definitions in the theory of ordinal numbers. (English)
0 references
1937
0 references
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.
0 references
