TY - JOUR
T1 - Iterated forcing and normal ideals on ω 1
AU - Shelah, Saharon
PY - 1987/12
Y1 - 1987/12
N2 - 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 set S ⊆ω 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).
AB - 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 set S ⊆ω 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).
UR - http://www.scopus.com/inward/record.url?scp=51249171847&partnerID=8YFLogxK
U2 - 10.1007/BF02780398
DO - 10.1007/BF02780398
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:51249171847
SN - 0021-2172
VL - 60
SP - 345
EP - 380
JO - Israel Journal of Mathematics
JF - Israel Journal of Mathematics
IS - 3
ER -