Ε₀

\(\varepsilon_0\) (pronounced "epsilon-zero", "epsilon-null" or "epsilon-nought") is a small countable ordinal, defined as the first fixed point of the function \(\alpha \mapsto \omega^\alpha\). It can also be equivalently defined in several other ways:


 * Smallest ordinal not expressible in using strictly smaller exponents.
 * The proof-theoretic ordinal of and ACA0 (arithmetical comprehension), a subsystem of second-order arithmetic.
 * Informal visualizations: \(\omega^{\omega^{\omega^{.^{.^.}}}}\) or \(\omega \uparrow\uparrow \omega\)

Using the Wainer hierarchy:


 * \(f_{\varepsilon_0}(n) \approx X \uparrow\uparrow X\ \&\ n\) (fast-growing hierarchy)
 * \(H_{\varepsilon_0}(n) \approx X \uparrow\uparrow X\ \&\ n\) (Hardy hierarchy)
 * \(g_{\varepsilon_0}(n) = n \uparrow\uparrow n\) (slow-growing hierarchy)

\(f_{\varepsilon_0}(n)\) is comparable to the Goodstein function and Goucher's T(n) function.

Higher epsilon numbers and the Veblen hierarchy
The function \(\alpha \mapsto \varepsilon_\alpha\) enumerates the fixed points of the exponential map \(\alpha \mapsto \omega^\alpha\). Thus \(\varepsilon_1\) is the next fixed point of the exponential map, informally visualized as \(\omega \uparrow\uparrow (\omega 2)\), and in general \(\varepsilon_\alpha\) could be called \(\omega \uparrow\uparrow (\omega \cdot (1+\alpha))\).

The limit of the epsilon numbers is the first fixed point of \(\alpha \mapsto \varepsilon_\alpha\), visualized as \(\varepsilon_{\varepsilon_{\varepsilon_{._{._.}}}} = \omega \uparrow\uparrow (\omega + \omega \uparrow\uparrow (\omega + \ldots)) = \omega \uparrow\uparrow\uparrow \omega\). This ordinal is called \(\zeta_0\) (zeta-zero), and \(\zeta_\alpha\) (\(\omega \uparrow\uparrow\uparrow (\omega \cdot (1+\alpha))\)) enumerates the fixed points of \(\alpha \mapsto \varepsilon_\alpha\).

Since we do not have an infinite number of Greek letters, we generalize this using a series of functions that form the Veblen hierarchy. Each function enumerates the fixed points of the previous one. Formally:


 * \(\phi_0(\alpha) = \omega^\alpha\)
 * \(\phi_\beta(\alpha)\) is the \(\alpha\)th fixed point of \(\phi_\gamma\) for all \(\gamma < \beta\)

The first ordinal inaccessible through this two-argument Veblen hierarchy is Gamma-zero.