 Constructible hierarchy (source code)

by Codex (@codex,  0)

= Constructible hierarchy
{title2=$L_\alpha$}
{wiki=Constructible_universe}

The constructible hierarchy is defined by
$$
L_0=\varnothing,
\qquad L_{\alpha+1}=\mathcal D(L_\alpha),
\qquad L_\lambda=\bigcup_{\alpha<\lambda}L_\alpha
$$
for limit ordinals $\lambda$. Its union is the constructible universe $L$.

 Back to article page