Bachmann-Howard ordinal

The \(\vartheta(\varepsilon_{\Omega+1})\) (called "Bachmann-Howard ordinal") is the first ordinal satisfying the equation \(\vartheta(\Omega^\alpha) = \alpha\). The growth rates of finite forms of that ordinal in different hierarchies are shown below:


 * \(f_{\vartheta(\varepsilon_{\Omega+1})}(n) \approx H(n)\) (fast-growing hierarchy, H(n) is the function that defined by Chris Bird)
 * \(H_{\vartheta(\varepsilon_{\Omega+1})}(n) \approx H(n)\) (Hardy hierarchy)
 * \(g_{\vartheta(\varepsilon_{\Omega+1})}(n) \approx H(n)\) (slow-growing hierarchy)

The Bachmann-Howard ordinal is the actual limit of Bird's array notation and BEAF.

One definition of the slow-growing hierarchy yields \(g_{\vartheta(\varepsilon_{\Omega+1})}(n) \approx f_{\varepsilon_0}(n)\).