On notation for ordinal numbers.
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.
- scientific article; zbMATH DE number 4204341 (Why is no real title available?)
- Exact truthmaker semantics for modal logics
- Embedding justification theory in approximation fixpoint theory
- Physics is organized around transformations connecting contextures in a polycontextural world
- Three-valued generalizations of classical logic in weak languages: the degree of maximality
- Some properties of precompletely and positively numbered sets
- Algebra of self-replication
- Fully evaluated left-sequential logics
- Resolving Radzki’s issues with Łukasiewicz logics’ axiomatics via correspondence analysis
- Truthmakers and relevance for FDE, LP, K3, and CL
- On the regularity of the language of some T-ideals
- Paraconsistent and paracomplete Zermelo-Fraenkel set theory
- Fixed point theorems in computability theory
- Exact truth and double-rail logics
This page was built for publication: On notation for ordinal numbers.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2598624)
