Mathematics – Logic
Scientific paper
2007-11-16
Journal of Symbolic Logic 74, no. 2 (June 2009) pp 641-654
Mathematics
Logic
18 pages, submitted with Kurt Goedel Centenary Research Prize Fellowship application
Scientific paper
10.2178/jsl/1243948331
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.
No associations
LandOfFree
Large Cardinals and Definable Well-Orderings of the Universe does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Large Cardinals and Definable Well-Orderings of the Universe, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Large Cardinals and Definable Well-Orderings of the Universe will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-3675