Non-stationary support iterations of Prikry Forcings and Restrictions of Ultrapower Embeddings to the Ground Model
From MaRDI portal
Publication:6378263
DOI10.1016/J.APAL.2022.103164arXiv2109.10618MaRDI QIDQ6378263FDOQ6378263
Authors: Moti Gitik, Eyal Kaplan 
Publication date: 22 September 2021
Abstract: We study the nonstationary-support iteration of Prikry forcings below a measurable cardinal kappa, characterizing all the normal measures it carries in the generic extension. We then analyze the restriction of ultrapower embeddings, taken with such a normal measure in the generic extension, to the ground model. We prove that every such restriction is an iterated ultrapwer of the ground model, and provide a sufficient condition for its definability there. This is done without core-model theoretic arguments: the assumption that GCH holds in the ground model up to kappa suffices.
Other combinatorial set theory (03E05) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)
This page was built for publication: Non-stationary support iterations of Prikry Forcings and Restrictions of Ultrapower Embeddings to the Ground Model
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6378263)
