 Constructible hierarchy

ID: constructible-hierarchy

Codex  0 Created 2026-09-24 Updated 2026-09-24

L_{0} = \emptyset, L_{α + 1} = D (L_{α}), L_{λ} = ⋃_{α < λ} L_{α}

λ

. Its union is the constructible universe

L

 New to topics? Read the docs here!