Iterations of V and the core model
Logic
2007-05-23 v1
Abstract
Answering a question which was around for some while we prove that if \pi : V -> M is such that M is transitive and closed under \omega-sequences then the core model of M is an iterate of the core model of V.
Cite
@article{arxiv.math/0104073,
title = {Iterations of V and the core model},
author = {Ralf Schindler},
journal= {arXiv preprint arXiv:math/0104073},
year = {2007}
}
Comments
3 pages