Omega

The \(\omega\) (pronounced "omega") is the first infinite ordinal, and is equal to \(\{0, 1, 2, \ldots \}\). It is the first ordinal satisfying the equation \(1+\alpha = \alpha\). The growth rates of finite forms of that ordinal in different hierarchies are shown below:


 * \(f_\omega(n) \approx 2 \uparrow^{n-1} n\) (fast-growing hierarchy)
 * \(H_\omega(n) = 2n\) (Hardy hierarchy)
 * \(g_\omega(n) = n\) (slow-growing hierarchy)

\(f_\omega(n)\) is on par with Ackermann function and weak Goodstein function. It is the first function in FGH that is not primitive-recursive.