Dekotetrep is equal to \(f_{\varepsilon_0\uparrow\uparrow{10}}(10)\) using the fast-growing hierarchy. The term was coined by wiki user Denis Maksudov.
Dekotetrep is equal to \(f_{\varepsilon_0\uparrow\uparrow{10}}(10)\) using the fast-growing hierarchy. The term was coined by wiki user Denis Maksudov.