Large Cardinals and Definable Well-Orderings of the Universe
arXiv:0711.2591 · doi:10.2178/jsl/1243948331
Abstract
We use a reverse Easton forcing iteration to obtain a universe with a definable well-ordering, while preserving the GCH and proper classes of a variety of very large cardinals. This is achieved by coding using the principle diamond star at a proper class of successor cardinals.
18 pages, submitted with Kurt Goedel Centenary Research Prize Fellowship application