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