Abstract
In this paper, we give details of results of Shelah concerning iterated Namba forcing over a ground model of CH and iteration of P[W] where W is a stationary subset of ω 2 concentrating on points of countable cofinality.
Similar content being viewed by others
References
Jech T.: Set Theory. Academic Press, New York (1978)
Namba K.: Independence proof of (ω,ωα)-distributive law in complete Boolean algebras. Comment. Math. Univ. St. Pauli 19, 1–12 (1970)
Schlindwein C.: Shelah’s work on non-semi-proper iterations, II. J. Symbolic Logic 66, 1865–1883 (2001)
Shelah, S.: Proper Forcing, Lecture Notes in Mathematics, vol. 940. Springer, Berlin (1982)
Shelah, S.: Proper and Improper Forcing, Perspectives in Mathematical Logic. Springer, Berlin (1998)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Schlindwein, C. Shelah’s work on non-semi-proper iterations, I. Arch. Math. Logic 47, 579–606 (2008). https://doi.org/10.1007/s00153-008-0099-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-008-0099-x