Abstract
AbstractWe study the Magidor iteration of Prikry forcings below a measurable limit of measurables κ. We first characterize all the normal measures κ carries in the generic extension, building on and extending the main result of [1]. Then, for every such normal measure, we prove that the restriction of its ultrapower, from the generic extension to the ground model, is an iterated ultrapower of V by normal measures. This is done without core model theoretic assumptions; GCH≤κ in the ground model suffices.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
