Core models in the presence of Woodin cardinals
Logic
2007-05-23 v1
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.
Cite
@article{arxiv.math/0303089,
title = {Core models in the presence of Woodin cardinals},
author = {Ralf Schindler},
journal= {arXiv preprint arXiv:math/0303089},
year = {2007}
}
Comments
6 pages