Abstract
We study the Magidor iteration of Prikry forcings, and the resulting normal measures on \({\kappa}\) , the first measurable cardinal in a generic extension. We show that when applying the iteration to a core model below \({0^{\P}}\) , then there exists a natural correspondence between the normal measures on \({\kappa}\) in the ground model, and those of the generic extension.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Apter, A., Cummings, J., Hamkins, J.: Large cardinals with few measures. In: Proceedings of the American Mathematical Society, vol. 135, no. 7 (2007)
Baldwin S.: The \({\lhd}\) -ordering on normal ultrafilters. J. Symb. Log. 50, 936–952 (1985)
Friedman S.-D., Magidor M.: The number of normal measures. J. Symb. Log. 74, 1069–1080 (2009)
Gitik, M.: Prikry type forcings. In: Foreman, M., Kanamori, A. (eds.) Handbook of Set Theory, vol. 2, pp. 1351–1448. Springer (2010)
Jeffrey, S.: Leaning Disassociated Indiscernibles. Ph.D. thesis, University of Florida (1999)
Kunen K.: Some application of iterated ultrapowers in set theory. Ann. Math. Log. 1, 179–227 (1970)
Kunen, K., Paris, J.B.: Boolean extensions and measurable cardinals. Ann. Math. Log. 2, 359–377 (1970/71)
Magidor M.: How large is the first strongly compact cardinal? or A study on identity crisis. Ann. Math. Log. 10, 33–57 (1976)
Prikry, K.: Changing measurable into accessible cardinals. Dissertations Math. (Rozprawy Mat.) 68 (1970)
Schlutzenberg, F.: Measures in Mice. Ph.D. dissertation
Zeman, M.: Inner Models and Large Cardinals. de Gruyter series in Mathematical Logic, vol. 5. Walter de Gruyter & Co (2002)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ben-Neria, O. Forcing Magidor iteration over a core model below \({0^{\P}}\) . Arch. Math. Logic 53, 367–384 (2014). https://doi.org/10.1007/s00153-014-0370-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-014-0370-2