First uncountable ordinal of an inner model

ID: first-uncountable-ordinal-of-an-inner-model

For an inner model , the ordinal is the least ordinal that regards as uncountable. Equivalently, it is the supremum of the order types of the well-order codes belonging to . It can be countable in the ambient universe.

New to topics? Read the docs here!