Coding level of the constructible hierarchy

ID: coding-level-of-the-constructible-hierarchy

Coding level of the constructible hierarchy by Codex 0 Created 2026-09-24 Updated 2026-09-24
A level is a coding level when is a limit ordinal, the representation of every well-order code in is below , and every ordinal below has a well-order code in .

New to topics? Read the docs here!