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.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
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