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