TY - RPRT TI - Large Cardinals and Definable Well-Orderings of the Universe AU - Andrew D. Brooke-Taylor PY - 2007 DO - 10.2178/jsl/1243948331 UR - https://arxiv.org/abs/0711.2591 ID - 0711.2591 ER -