\(\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 Cantor normal form using strictly smaller exponents.
  • The proof-theoretic ordinal of Peano arithmetic and ACA0 (arithmetical comprehension, a subsystem of second-order arithmetic).
  • Informal visualizations: \(\omega^{\omega^{\omega^{.^{.^.}}}}\) or \(\omega \uparrow\uparrow \omega\) or \(\omega \uparrow\uparrow\uparrow 2\)

Using the Wainer hierarchy:

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

Higher epsilon numbers and the Veblen hierarchy Edit

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.

The limit of the epsilon numbers is the first fixed point of \(\alpha \mapsto \varepsilon_\alpha\). This ordinal is called \(\zeta_0\) (zeta-zero), and \(\zeta_\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 the Feferman–Schütte ordinal.

External links Edit

See also Edit

Ordinals, ordinal analysis and set theory

Basics: cardinal numbers · normal function · ordinal notation · ordinal numbers
Theories: Presburger arithmetic · Peano arithmetic · second-order arithmetic · ZFC
Countable ordinals: \(\omega\) · \(\varepsilon_0\) · \(\zeta_0\) · \(\Gamma_0\) · \(\vartheta(\Omega^3)\) · \(\vartheta(\Omega^\omega)\) · \(\vartheta(\Omega^\Omega)\) · \(\vartheta(\varepsilon_{\Omega + 1})\) · \(\psi(\Omega_\omega)\) · \(\psi(\varepsilon_{\Omega_\omega + 1})\) · \(\psi(\psi_I(0))\)‎ · \(\omega_1^\mathfrak{Ch}\) · \(\omega_1^\text{CK}\) · \(\lambda,\zeta,\Sigma,\gamma\) · List of countable ordinals
Ordinal hierarchies: Fast-growing hierarchy · Slow-growing hierarchy · Hardy hierarchy · Middle-growing hierarchy · N-growing hierarchy
Uncountable cardinals: \(\omega_1\) · omega fixed point · inaccessible cardinal \(I\) · Mahlo cardinal \(M\) · weakly compact cardinal \(K\) · indescribable cardinal · rank-into-rank cardinal · more...

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.