Condensation lemma for the constructible universe

ID: condensation-lemma-for-the-constructible-universe

If is an elementary substructure of a sufficiently large level , then the transitive collapse of is a level . In particular, a countable collapses to a level indexed by a countable ordinal.

New to topics? Read the docs here!