Abstract
We prove that suitable iteration does not collapse ℵ1 [and does not add reals], i.e., that in such iteration, certain sealing of maximal antichains of stationary subsets ofω 1 is allowed. As an application, e.g., we prove from supercompact hypotheses, mainly, the consistency of: ZFC + GCH + “for some stationary setS ⊆ω 1, {ie345-1}(ω 1)/(D ω 1 +S) is the Levy algebra” (i.e., the complete Boolean Algebra corresponding to the Levy collapse Levy (ℵ0,<ℵ2) (and we can add “a variant of PFA”) and the consistency of the same, with “Ulam property” replacing “Levy algebra”). The paper assumes no specialized knowledge (if you agree to believe in the semi-properness iteration theorem and RCS iteration).
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
M. Foreman, M. Magidor and S. Shelah,Martin Maximum, saturated ideals and non-regular ultrafilters, Part I, Ann. of Math., to appear.
M. Foreman, M. Magidor and S. Shelah,Martin Maximum, saturated ideals and non-regular ultrafilters, Part II, Ann. of Math., to appear.
M. Magidor,On the existence of nonregular ultrafilters and the cardinality of ultrapowers, Trans. Am. Math. Soc.249 (1) (1978), 97–111.
S. Shelah,Proper Forcing, Lecture Notes in Math., No. 940, Springer-Verlag, Berlin, 1982.
S. Shelah,On normal ideals and Boolean algebra, Lecture Notes in Math., No. 1182, Springer-Verlag, Berlin, 1986, pp. 151–187.
S. Shelah and H. Woodin,Large cardinals implies every projective set is measurable, in preparation.
S. Shelah,More on proper forcing, J. Symb. Logic49 (1984), 1035–1038.
M. Gitik,Changing cofinalities and the nonstationary ideal, Isr. J. Math.56 (1986), 280–314.
M. Gitik and S. Shelah, On the {ie380-1}-condition, Isr. J. Math.48 (1984), 148–158.
S. Shelah,More on iterated forcing and normal ideals on ω 1,or on UP 1, in preparation.
S. Shelah,Semiproper forcing axiom implies Martin maximum but does not imply PFA+, J. Symb. Logic52 (1987), 360–367.
S. Shelah,Baire irresolvable spaces and lifting for layered ideals, Topology and Its Applications, to appear.
R. Solovay and S. Tenenbaum,Iterated Cohen extensions and Souslin problem, Ann. of Math.94 (1971), 201–245.
Author information
Authors and Affiliations
Additional information
This research was partially supported by the NSF.
This paper was largely written during the author’s visit at Cal Tech around the end of April 1985. The author would like to thank M. Foreman, A. Kekris and H. Woodin for their hospitality.
Rights and permissions
About this article
Cite this article
Shelah, S. Iterated forcing and normal ideals onω 1 . Israel J. Math. 60, 345–380 (1987). https://doi.org/10.1007/BF02780398
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02780398