| Property | Value |
|---|
| rdfs:label | |
| rdfs:comment | - Quadritetrep is equal to \(f_{\varepsilon_0\uparrow\uparrow4}(10)\) using the fast-growing hierarchy. The term was coined by wiki user Denis Maksudov. It is equal to \(f_{\omega^{\omega^{\omega^{\omega^{\varepsilon_02}}}}}(10)=f_{\varphi_0(\varphi_0(\varphi_0(\varphi_0(\varphi_1(0)+\varphi_1(0)))))}(10)\) using Veblen function \(\varphi_\alpha(\beta)\).
|
| dcterms:subject | |
| dbkwik:googology/property/wikiPageUsesTemplate | |
| abstract | - Quadritetrep is equal to \(f_{\varepsilon_0\uparrow\uparrow4}(10)\) using the fast-growing hierarchy. The term was coined by wiki user Denis Maksudov. It is equal to \(f_{\omega^{\omega^{\omega^{\omega^{\varepsilon_02}}}}}(10)=f_{\varphi_0(\varphi_0(\varphi_0(\varphi_0(\varphi_1(0)+\varphi_1(0)))))}(10)\) using Veblen function \(\varphi_\alpha(\beta)\).
|
