Hyperoperation
= Hyperoperation
{title2=$a[n]b$}
{wiki}
The <hyperoperation> hierarchy successively iterates basic arithmetic operations. In the usual indexing, successor is followed by <addition>, <multiplication>, <exponentiation> and their higher iterates. A sequence beginning with addition shifts this index by one. Each fixed rank is a <primitive recursive function>; this does not imply that the evaluator taking the rank as an additional variable is <primitive recursive>.