PropertyValue
rdfs:label
  • Megaddep
rdfs:comment
  • Megaddep is equal to \(f_{\varepsilon_0+1000000}(10)\) using the fast-growing hierarchy. The term was coined by wiki user Denis Maksudov.
dcterms:subject
dbkwik:googology/property/wikiPageUsesTemplate
abstract
  • Megaddep is equal to \(f_{\varepsilon_0+1000000}(10)\) using the fast-growing hierarchy. The term was coined by wiki user Denis Maksudov.