Mathematics – Logic
Scientific paper
1999-03-01
Annals of Pure and Applied Logic 89, 1997, 101-115
Mathematics
Logic
27 pages
Scientific paper
We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model of ``ZFC + Omega is the least inaccessible limit of measurable limits of supercompact cardinals + f :Omega-->2 is a function'', then there is a partial ordering P in V so that for Vbar = V^P, Vbar_Omega models ``ZFC + There is a proper class of compact cardinals + If f(alpha) = 0, then the alpha-th compact cardinal isn't supercompact + If f(alpha) = 1, then the alpha-th compact cardinal is supercompact''. We then prove a generalized version of this theorem assuming kappa is a supercompact limit of supercompact cardinals and f:kappa-->2 is a function, and we derive as corollaries of the generalized version of the theorem the consistency of the least measurable limit of supercompact cardinals being the same as the least measurable limit of non-supercompact strongly compact cardinals and the consistency of the least supercompact cardinal being a limit of strongly compact cardinals.
No associations
LandOfFree
Patterns of Compact Cardinals 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 Patterns of Compact Cardinals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Patterns of Compact Cardinals will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-290678