Ralf Schindler
Published 2003-03-07Version 1
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.
Measurable cardinals and good $Σ_1(κ)$-wellorderings
Power $Σ_1$ in Card with two Woodin cardinals
Mice with Woodin cardinals from a Reinhardt
![QR code for arXiv:math/0303089 [math.LO]](http://oss.arxitics.com/images/favicon.svg)