Quantification over higher type objects, such as functions from natural numbers to natural numbers, is described by a superscript greater than 0, as in the analytical hierarchy.
Квантификација над већим објектима типа, као што је функција природних бројева до природних бројева, описана од стране суперскрипту већа од 0, као у аналитичкој хијерархији.