User blog comment:Alemagno12/An extremely fast-growing OCF/@comment-5029411-20170728013713

Here is my definition of $$L(\alpha)$$.


 * $$L(\alpha+1)$$ is greater cardinality than $$L(\alpha)$$.
 * $$\psi\text{L}_{L(\alpha)}(\beta+1)$$ is next term than $$\psi\text{L}_{L(\alpha)}(\beta)$$ in the fundamental sequence of \psi\text{L}_{L(\alpha)}(\gamma), if $$\alpha$$ is a limit ordinal/cardinal.
 * $$L(\alpha)$$ is a cardinal $$\beta$$ that is $$\{\gamma|\beta=\psi\text{L}_{L(\alpha)}(\gamma)\}$$, if $$\alpha$$ is a limit ordinal/cardinal.