About: Aarex function   Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : dbkwik.org associated with source dataset(s)

where \(\Xi\)(n) is the xi function, which was used due to Adam Goucher's mistaken claim that it outgrew Rayo's function. The function is a naive extension of the xi function and is easily beaten by functions such as the Rayo/FOST function and its stronger cousin the FOOT function He later upgraded the function, adding the rules: * \( ext{Arx}(a,b,c,\cdots,y,1) = ext{Arx}(a,b,c,\cdots,y)\) * \( ext{Arx}(a,b,c,\cdots,x,y,z)\) \(= ext{Arx}( ext{Arx}(a,b,c,\cdots,x,y,z-1),\cdots, ext{Arx}(a,b,c,\cdots,x,y,z-1),1)\)

AttributesValues
rdfs:label
  • Aarex function
rdfs:comment
  • where \(\Xi\)(n) is the xi function, which was used due to Adam Goucher's mistaken claim that it outgrew Rayo's function. The function is a naive extension of the xi function and is easily beaten by functions such as the Rayo/FOST function and its stronger cousin the FOOT function He later upgraded the function, adding the rules: * \( ext{Arx}(a,b,c,\cdots,y,1) = ext{Arx}(a,b,c,\cdots,y)\) * \( ext{Arx}(a,b,c,\cdots,x,y,z)\) \(= ext{Arx}( ext{Arx}(a,b,c,\cdots,x,y,z-1),\cdots, ext{Arx}(a,b,c,\cdots,x,y,z-1),1)\)
dcterms:subject
dbkwik:googology/p...iPageUsesTemplate
Name
  • Aarex function
fgh
  • \omega_\alpha^\text{CK}+\omega^2
Base
abstract
  • where \(\Xi\)(n) is the xi function, which was used due to Adam Goucher's mistaken claim that it outgrew Rayo's function. The function is a naive extension of the xi function and is easily beaten by functions such as the Rayo/FOST function and its stronger cousin the FOOT function He later upgraded the function, adding the rules: * \( ext{Arx}(a,b,c,\cdots,y,1) = ext{Arx}(a,b,c,\cdots,y)\) * \( ext{Arx}(a,b,c,\cdots,x,y,z)\) \(= ext{Arx}( ext{Arx}(a,b,c,\cdots,x,y,z-1),\cdots, ext{Arx}(a,b,c,\cdots,x,y,z-1),1)\) He further extended his function to multidimensional arrays, and then, instead of the xi function, started using \(\phi^ ext{CK}(\omega,0)\). The current version combines Bird's array notation with this function.
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software