[FOM] Definable well-orderings

Joe Shipman joeshipman at aol.com
Sat Jan 18 22:21:40 EST 2020


Is there a map from aleph_2 to the continuum, *explicitly definable in ZFC without parameters*, such that it is consistent that this map is injective?

— JS

Sent from my iPhone


More information about the FOM mailing list