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!