Ordinal notation

An ordinal notation is, generally, a method for systematically naming ordinals (usually countable ones). More specifically, it is a (primitive) recursive well-ordering on a recursive set of finite strings in a finite alphabet, although in practice the term is applied to more general cases than this. The primitive recursiveness is often loosened to be recursiveness, because it is known that the notion of a notation equipped with a recursive well-ordering is essentially equivalent to that of an ordinal notation. The well-ordering induces an injective function onto ordinals below the limit given as its ordinal type, and hence it actually names all ordinals below the limit.
On the other hand, a set \(T\) of finite strings in a finite alphabet equipped with a function \(o\) to ordinals is not derived from an ordinal notation unless the binary relation \(o(s) \in o(t)\) on \((s,t) \in T^2\) is verified to be (primitive) recursive and \(o\) is a bijection onto the least ordinal including th image if \(o\). Unfortunately, many googologists in this community confounded these distinct notions until p進大好きbot pointed out the common misconception,p進大好きbot, Relation between an OCF and an Ordinal Notation, Googology Wiki user blog. and hence there are many wrong descriptions in this wiki. Therefore we need to be very careful when they are talking about results on their own "ordinal notations".
== Ordinal notation associated to iterated Cantor normal form ==
Cantor normal form (CNF) of basis \(\omega\) expresses an ordinal \(\alpha\) as a sum of a finite decreasing sequence of ordinals of the form \(\omega^\beta\). This allows us to correspond an ordinal \(\alpha\) below \(\varepsilon_0\) to a finite sequence of ordinals below \(\alpha\). By the well-foundedness of ordinals, the iteration of this correspondence gives a unique way to express an ordinal using \(0\), \(+\), and the exponentiation \(\alpha \mapsto \omega^{\alpha}\), which we call the "iterated Cantor normal form" (ICNF). It is known that the \(\in\)-relation can be encoded into a restriction of the lexicographic ordering to formal strings corresponding to ICNFs, which is a primitive recursive relation, and hence ICNF yields an ordinal notation whose order type is \(\varepsilon_0\). See Wainer hierarchy for fundamental sequences for ICNF.
== Ordinal notation associated to Veblen's \(\varphi\) ==
Oswald Veblen's \(\varphi\) function is not only a portion of an early ordinal notation, but it could also be considered the first-ever array notation, preceding BEAF by more than 90 years. Due to the time when the paper was written, Veblen's definitions of the rules of his function are very cumbersome. Here, a conservative amount of modernization has been applied in the interest of brevity. Note that although Veblen used the dated convention where ordinals start with 1, we instead start ordinals with 0 and thus all letters (Greek or Latin) below are \(\geq 0\).
Before we can discuss the function itself, we first define a well-ordering \(\prec\) of arrays. An array is a function \(A : \eta \to \omega_1\) for some countable ordinal \(\eta\). Veblen denotes its arguments by using \(x_\alpha\) to indicate the value of \(A(\alpha)\), and, say, \(0_\alpha\) to indicate that \(A(\alpha) = 0\). We use \(\sup_\prec\) to denote a supremum under the ordering \(\prec\). It is very important to note that we are not defining ordinals, but an ordering of arrays.
:A. \(\varphi(0_0, 0_1, \ldots, 1_{\alpha + 1}) = \sup_\prec\{\varphi(0_0, 0_1, \ldots, x_\alpha): x \in \text{On}\}\).
:B. \(\varphi(0_0, 0_1, \ldots, 1_\alpha) = \sup_\prec\{\varphi(0_0, 0_1, \ldots, 1_\beta): \beta < \alpha\}\) where \(\alpha \in \text{Lim}\)
:C. \(\varphi((x + 1)_0, y_1, \ldots, z_\beta) \succ \varphi(x_0, \ldots, z_\beta)\), and there is no array between them
:D. \(\varphi(0_0, \ldots, (x + 1)_{\alpha + 1}, \ldots, y_\beta) = \sup_\prec\{\varphi(0_0, \ldots, (x + 1)_\alpha, x_{\alpha + 1}, \ldots, y_\beta)\}\)
:E. \(\varphi(0_0, \ldots, x_{\alpha + 1}, y_{\alpha + 2}, \ldots, z_\beta) = \sup_\prec\{\varphi(0_0, \ldots, w_{\alpha + 1}, y_{\alpha + 2}, \ldots, z_\beta) : w < x\}\) where \(x \in \text{Lim}\)
:F. \(\varphi(0_0, \ldots, (x + 1)_\alpha, \ldots, y_\beta) = \sup_\prec\{\varphi(0_0, \ldots, 1_\gamma, \ldots, x_\alpha, \ldots, y_\beta) : \gamma < \alpha\}\) where \(\alpha \in \text{Lim}\)
:G. \(\varphi(0_0, \ldots, x_\alpha, \ldots, y_\beta) = \sup_\prec\{\varphi(0_0, \ldots, z_\alpha, \ldots, y_\beta) : z < x\}\) where \(x, \alpha \in \text{Lim}\)
Now we can create an actual ordinal notation. Define \(\varphi(x)\) as a continuous (under the order topology) increasing function with \(\varphi(0) > 0\); conventionally this is chosen to be \(\varphi(\alpha) = \omega^\alpha\), although Veblen focused on the case \(\varphi(\alpha) = 1 + \alpha\). Then:
* \(\varphi(x_0, 0_1, \ldots, 1_\beta) = \) the \(x_0\)th element of the set \(\{y: \forall \gamma < \beta: \varphi(0_0, 0_1, \ldots, y_\gamma) = y\}\)
* for \(y > 1\), \(\varphi(x_0, 0_1, \ldots, y_\alpha, \ldots, z_\beta) = \) the \(x_0\)th element of the set \(\{v: \forall \gamma < \alpha: \forall w < y: \varphi(0_0, 0_1, \ldots, v_\gamma, 0_{\gamma+1}, \ldots, w_\alpha, z_{\alpha+1}, \ldots, z_\beta) = v\}\)
where "the \(x_0\)th element" is according to the ordering defined by the seven rules above.
The supremum of the range of Veblen's function is the large Veblen ordinal. If arrays are restricted to finite sizes (i.e. the domain of the array is \(< \omega\)), the supremum of the range is the small Veblen ordinal. The restriction of the Veblen's function to small Veblen ordinal gives an ordinal notation, because it is known that the ordering of formal strings corresponding to finite arrays of orginals restricted to a certain recursive subset of "normal forms" can be encoded into a primitive recursive relation.
=== Modern conventions ===
In practice, "Veblen \(\varphi\) function" typically refers to a far simpler two-argument form, defined as \(\varphi_0(\alpha) = \omega^\alpha\) (or some other normal function), and \(\varphi_\beta\) as the enumerating function for all the common fixed points of \(\varphi_\gamma\) for all \(\gamma < \beta\). More concisely, \(\varphi_\alpha\) is the \(\alpha\)'th derivative of \(\varphi_0\). The original is thus often called the "extended Veblen function."
Veblen's dated convention of starting ordinals at 1 is often corrected for in modern usage, so instead of, Veblen writing, say, \(\varphi(2, 1, 1)\), we would write \(\varphi(1, 0, 0)\); this modern convention is used in the above section. Using the zero-indexed version, we have the even simpler equality \(\varphi_\beta(\alpha) = \varphi(\alpha, \beta)\).
=== Caution ===
Since Veblen's \(\varphi\) is so complicated that many googologists do not understand the precise definition, there are several common mistakes. For example, \(\varphi(\omega,0)\) is often confounded with \(\Gamma_0\) although the latter one is strictly greater than the former one, and \(\varphi(\Gamma_0,\Gamma_0)\) is often confounded with \(\Gamma_0\) although the former one is strictly greater than the latter one, as the ordinal \(\varphi(\Gamma_0,1)\) coincides with the limit of \(\varphi(\alpha,\Gamma_0+1)\) with \(\alpha < \Gamma_0\), which is greater than \(\Gamma_0\), and \(\varphi(\Gamma_0,0) = \Gamma_0\).
== Ordinal notation associated to ordinal collapsing function ==
There are many ordinal notations associated to ordinal collapsing functions. Be careful that an OCF itself can never be an ordinal notation. For more details, see the main article. Also note that some ordinal collapsing functions in the article, such as Madore's function, aren't currently known to admit an associated ordinal notation.
== Taranovsky's C ==
Dmytro Taranovsky described in a self-published web page the following general frame work to construct a binary function \(C\) from a well-ordered set \((S,<)\) equipped with an additional structure \(D \subset S \times S\) satisfying a suitable condition explained later. Let \(0_S\) denote the least element of \((S,<)\). For an \(a \in S\), we put \(C_a := \{c \in S : (c,a) \in D\}\), \(a+1 := \min \{c \in S : a < c\}\) (assume the existence), and \((a) := \{c \in S : c < a\}\). For an \(S' \subset S\), we denote by \(\lim(S') \subset S\) the subset of limits of elements of \(S'\) in \((S,<)\). We say that \(D\) is a degree for \((S,<)\) if the following hold:
*\(C_{0_S} = S\)
*\(\forall a \in S: a \neq 0_S \Rightarrow 0_S \notin C_a\)
*\(\forall a \in \lim(S): C_a = \bigcup_{b < a} C_b\).
*\(\forall a \in S: C_{a+1} = \lim(C_a) \lor \exists d \in \lim(S) \cap (a+1) \land C_{a+1} = \lim(C_a) \cup (d+1)\)
If \(D\) is a degree for \((S,<)\), then set \(C(a,b) := \min\{c \in C_a : b < c\}\). In particular, this construction works for a limit ordinal \(\eta\) equipped with a degree \(D \subset \eta \times \eta\) for \((\eta,\in)\). Since \(D\) is not unique, the resulting function \(C\) heavily depends on the choice of \(D\). Taranovsky introduced several explicit examples of degrees.
== Nonrecursive notations ==
The notations in this section are nonrecursive. Some authors do not consider them to be real ordinal notations.
=== Kleene's \(\mathcal{O}\) ===
See the article about Kleene's \(\mathcal{O}\).
=== Klev's notations ===
See the article about Klev's \(\mathcal{O}^+\) and \(\mathcal{O}^{++}\).
== Table of conventions ==
Below is a table comparing the different conventions of ordinals and ordinal functions in this article and the article on ordinal collapsing functions. Note that ordinal collapsing functions in the table does not necessarily admit an ordinal notation.
Notation 	Supremum of expressible countable ordinals
Cantor normal form 	\(\varepsilon_0\)
Veblen function (two arguments) 	Feferman-Schütte ordinal \(\Gamma_0\)
Veblen function (finitary) 	Small Veblen ordinal
Bird's \(\theta\) 	Small Veblen ordinal
Extended Veblen function (also called "Schutte Klammersymbolen") 	Large Veblen ordinal
Bachmann's \(\psi\) 	Bachmann-Howard ordinal
Madore's \(\psi\) 	Bachmann-Howard ordinal
Weiermann's \(\vartheta\) 	Bachmann-Howard ordinal
Feferman's \(\theta\) 	Takeuti-Feferman-Buchholz ordinal
Buchholz's \(\psi\) 	Takeuti-Feferman-Buchholz ordinal
Rathjen's \(\psi\) 	> Rathjen's ordinal (proof-theoretic ordinal of KPM)
Rathjen's \(\Psi\) 	> proof-theoretic ordinal of KP+A certain Π3-reflection schema
Stegert's \(\Psi\) (first OCF) 	\(\Psi^{\varepsilon_{\Xi+1} }_{(\omega^+;\mathsf P_0;\epsilon;\epsilon;0)}\)D. Madore, A Zoo of Ordinals (p.2)
Stegert's \(\Psi\) (fifth OCF; note that three weaker OCFs are given as examples in the paper)	\(\Psi^{\varepsilon_{\Upsilon+1} }_{(\omega^+;\mathsf P_0;\epsilon;\epsilon;0)}\)
Taranovsky's C 	Unknown, but recursive and very large
Kleene's \(\mathcal{O}\) 	Church-Kleene ordinal \(\omega_1^\text{CK}\)
Klev's \(\mathcal{O}^+\) 	Supremum of writable ordinals \(\lambda\)
Klev's \(\mathcal{O}^{++}\) 	Supremum of eventually writable ordinals \(\zeta\)
== Sources ==
== See also ==
ja:順序数表記
 
 Notation
Category:Notations