Ambient constructible power sets when the reals are not well-orderable
ID: ambient-constructible-power-sets-when-the-reals-are-not-well-orderable
If the ambient power set of is not well-orderable and , then the full ambient power set of belongs to exactly when is finite. Finite set operations give the forward construction for finite . If is infinite, its constructible well-order gives an injection . The induced injection of power sets would make the ambient power set of well-orderable if belonged to .
New to topics? Read the docs here!