the set of natural numbers {0, 1, ...}, and ? ranges up to some large countable ordinal). A primary example is the Wainer hierarchy, or Löb-Wainer hierarchy, which is an extension to all ? < ?₀. Such hierarchies provide a natural way to classify computable functions according to rate-of-growth and computational complexity.