Large Cardinals and Definable Well-Orderings of the Universe - Andrew D. Brooke-Taylor (2007)