ArticleOriginal scientific text

Title

A classification of definable forcings on ω1

Authors 1

Affiliations

  1. 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 ω1 are classified up to forcing equivalence.

Bibliography

  1. [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.
  2. [BJZ] B. Balcar, T. Jech and J. Zapletal, Generalizations of Cohen algebras, Ann. Pure Appl. Logic, to appear.
  3. [J] T. Jech, Set Theory, Academic Press New York, 1978.
  4. [JS] T. Jech and S. Shelah, Possible PCF algebras, J. Symbolic Logic 61 (1996), 313-318.
  5. [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.
  6. [S] S. Shelah, Proper Forcing, Springer, New York, 1982.
  7. [T] S. Tennenbaum, Souslin's problem, Proc. Nat. Acad. Sci. U.S.A. 59 (1968), 60-63.
  8. [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.
Pages:
141-144
Main language of publication
English
Received
1996-06-10
Accepted
1997-02-27
Published
1997
Exact and natural sciences