arXiv Analytics

Sign in

arXiv:0711.2591 [math.LO]AbstractReferencesReviewsResources

Large Cardinals and Definable Well-Orderings of the Universe

Andrew D. Brooke-Taylor

Published 2007-11-16Version 1

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.

Comments: 18 pages, submitted with Kurt Goedel Centenary Research Prize Fellowship application
Journal: Journal of Symbolic Logic 74, no. 2 (June 2009) pp 641-654
Categories: math.LO
Subjects: 03E35, 03E55, 03E25
Related articles: Most relevant | Search more
arXiv:math/0603260 [math.LO] (Published 2006-03-12)
Large cardinals with few measures
arXiv:1307.7387 [math.LO] (Published 2013-07-28)
The large cardinals between supercompact and almost-huge
arXiv:math/0307229 [math.LO] (Published 2003-07-16, updated 2004-02-24)
Extensions with the approximation and cover properties have no new large cardinals

Links

Toolbox