ArticleOriginal scientific text
Title
A classification of definable forcings on ω1
Authors 1
Affiliations
- M.S.R.I., 1000 Centennial Drive, Berkeley, California 94720, U.S.A.
Abstract
Under the assumption of the existence of sharps for reals all simply definable posets on are classified up to forcing equivalence.
Bibliography
- [B] J. Baumgartner, Applications of the proper forcing axiom, in: Handbook of Set-Theoretic Topology, K. Kunen and J. E. Vaughan (eds.), North-Holland, Amsterdam, 1984, 913-959.
- [BJZ] B. Balcar, T. Jech and J. Zapletal, Generalizations of Cohen algebras, Ann. Pure Appl. Logic, to appear.
- [J] T. Jech, Set Theory, Academic Press New York, 1978.
- [JS] T. Jech and S. Shelah, Possible PCF algebras, J. Symbolic Logic 61 (1996), 313-318.
- [K] S. Koppelberg, Characterization of Cohen algebras, in: Papers on General Topology and Applications, S. Andima, R. Kopperman, P. R. Misra and A. R. Todd (eds.), Ann. New York Acad. Sci. 704, 1993, 227-237.
- [S] S. Shelah, Proper Forcing, Springer, New York, 1982.
- [T] S. Tennenbaum, Souslin's problem, Proc. Nat. Acad. Sci. U.S.A. 59 (1968), 60-63.
- [Z] J. Zapletal, Characterization of the club forcing, in: Papers on General Topology and Applications, S. Andima, R. C. Flagg, G. Itzkowitz, Y. Kong, R. Kopperman and P. Misra (eds.), Ann. New York Acad. Sci. 806, 1996, 476-484.