# Slow-growing hierarchy

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
$$g_0(n)=0 \\ g_{\alpha+1}(n)=g_\alpha(n)+1$$
$$g_\alpha(n)=g_{\alpha[n]}(n)$$ if and only if $$\alpha$$ is a limit ordinal.