Constructible sets of low rank can appear at later stages

ID: constructible-sets-of-low-rank-can-appear-at-later-stages

The equality can fail even at . Inside the constructible universe, is countable, so its definable power set is countable. The constructible power set of is uncountable there by the Cantor theorem. A real outside remains a constructible subset of , hence belongs to . The cardinal comparison must be made inside , since its reals can be externally countable.

New to topics? Read the docs here!