Mathematics – Logic
Scientific paper
2003-03-07
Mathematics
Logic
6 pages
Scientific paper
It is shown that if there is a measurable cardinal above n Woodin cardinals
and M_{n+1}^# doesn't exist then K exists. K is not fully iterable, though, but
only iterable with respect to stacks of certain trees living between the Woodin
cardinals. However, it is still true that if M is an omega-closed iterate of V
then K^M is an iterate of K.
No associations
LandOfFree
Core models in the presence of Woodin 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 Core models in the presence of Woodin cardinals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Core models in the presence of Woodin cardinals will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-440755