Mathematics – Logic
Scientific paper
1997-02-18
Mathematics
Logic
Scientific paper
A cardinal kappa is countably closed if mu^omega < kappa whenever mu < kappa. Assume that there is no inner model with a Woodin cardinal and that every set has a sharp. Let K be the core model. Assume that kappa is a countably closed cardinal and that alpha is a successor cardinal of K with kappa < alpha < kappa^+. Then cf( alpha ) = kappa. In particular, K computes successors of countably closed singular cardinals correctly. (The hypothesis of countable closure is not required; see "Weak covering without countable closure", W. J. Mitchell and E. Schimmerling, Math. Res. Lett., Vol. 2, No. 5, Sept. 1995.)
Mitchell William J.
Schimmerling Ernest
Steel John R.
No associations
LandOfFree
The covering lemma up to a Woodin cardinal 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 The covering lemma up to a Woodin cardinal, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The covering lemma up to a Woodin cardinal will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-395820