Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Forcing Magidor iteration over a core model below $${0^{\P}}$$ 0 ¶

Forcing Magidor iteration over a core model below $${0^{\P}}$$ 0 ¶ 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}}$$ 0 ¶ , then there exists a natural correspondence between the normal measures on $${\kappa}$$ κ in the ground model, and those of the generic extension. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

Forcing Magidor iteration over a core model below $${0^{\P}}$$ 0 ¶

Archive for Mathematical Logic , Volume 53 (4) – Mar 29, 2014

Loading next page...
 
/lp/springer-journals/forcing-magidor-iteration-over-a-core-model-below-0-p-0-Pb6N0lso80

References (4)

Publisher
Springer Journals
Copyright
Copyright © 2014 by Springer-Verlag Berlin Heidelberg
Subject
Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
ISSN
0933-5846
eISSN
1432-0665
DOI
10.1007/s00153-014-0370-2
Publisher site
See Article on Publisher Site

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}}$$ 0 ¶ , then there exists a natural correspondence between the normal measures on $${\kappa}$$ κ in the ground model, and those of the generic extension.

Journal

Archive for Mathematical LogicSpringer Journals

Published: Mar 29, 2014

There are no references for this article.