References & Citations
Mathematics > Logic
Title: Core models in the presence of Woodin cardinals
(Submitted on 7 Mar 2003)
Abstract: 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.
Link back to: arXiv, form interface, contact.