Iterations of V and the core model
From MaRDI portal
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.
This page was built for publication: Iterations of V and the core model
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6471029)
