On notation for ordinal numbers.
type: Item
instance of: scholarly article
title: On notation for ordinal numbers.
zbMATH Open document ID: 64.0932.03
DOI: 10.2307/2267778
publication date: 1938-01-01T00:00:00Z
review text: Es wird ein Bezeichnungssystem für Ordinalzahlen angegeben, das sich sehr weit in die zweite Zahlenklasse erstreckt und den folgenden Bedingungen genügt: Liegt eine bestimmte Bezeichnung vor, so kann festgestellt werden, ob die bezeichnete Ordinalzahl 0 ist, ob sie einen unmittelbaren Vorgänger hat oder ob sie eine Limeszahl ist. Im zweiten Falle kann die Bezeichnung für den Vorgänger angegeben werden. Im dritten Falle kann eine Folge von Ordnungszahlen angegeben werden, deren Limes die gegebene Zahl ist. Das gegebene Bezeichnungssystem steht in enger Beziehung zu den \(\lambda\)-definierbaren Funktionen von A. Church.
zbMATH DE Number: 2517776
Wikidata QID: Q29544450
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/2267778
OpenAlex ID: W2036869460
published in: Journal of Symbolic Logic
author: Stephen Cole Kleene
description: scientific article