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.
Keywords Projective well-orderings - Core models - Strong cardinals
Mathematics Subject Classification (2000) 03E15 - 03E35 - 03E45 - 03E55