Coding level of the constructible hierarchy
ID: coding-level-of-the-constructible-hierarchy
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!