1. Department of Mathematics, California Institute of Technology, Mail code 253-37, Pasadena, CA, 91125, USA 2. Institut für mathematische Logik und Grundlagenforschung, Universit?t Munster, Einsteinstra?e 62, 48149, Münster, Germany
Abstract:
If there is no inner model with ω many strong cardinals, then there is a set forcing extension of the universe with a projective well-ordering of the reals.