Iterations of V and the core model
Schindler, Ralf
Original · EN
Answering a question which was around for some while we prove that if π: V -> M is such that M is transitive and closed under ω-sequences then the core model of M is an iterate of the core model of V.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.