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