Tetrubol is equal to {10,100(1)(1)(1)(1)2} in BEAF.[1]

The term was coined by Cookiefonster.

Approximations

Notation Approximation
Bird's array notation {10,100[2]1[2]1[2]1[2]2} (exact)
Fast-growing hierarchy \(f_{\omega^{\omega 4}}(100)\)
Hardy hierarchy \(H_{\omega^{\omega^{\omega 4}}}(100)\)

Sources

Community content is available under CC-BY-SA unless otherwise noted.