Download PDF - Dominating analytic familiesAll rights reserved. Copyright exceptions and limitations apply

ArticleOriginal scientific text

Title

Dominating analytic families

Authors 1

Affiliations

  1. Department of Mathematics, University of Wrocław, Pl. Grunwaldzki 2/4, 50-384 Wrocław, Poland

Abstract

Let A be an analytic family of sequences of sets of integers. We show that either A is dominated or it contains a continuum of almost disjoint sequences. From this we obtain a theorem by Shelah that a Suslin c.c.c. forcing adds a Cohen real if it adds an unbounded real.

Keywords

ENG
measure algebra, Cohen algebra, Suslin c.c.c. forcing, distributivity

Bibliography

  1. [B] J. Baumgartner, Iterated forcing, in: Surveys in Set Theory, A. R. D. Mathias (ed.), London Math. Soc. Lecture Note Ser. 87, Cambridge Univ. Press, 1983, 1-59.
  2. [E] E. Ellentuck, A new proof that analytic sets are Ramsey, J. Symbolic Logic 39 (1974), 163-165.
  3. [F] D. H. Fremlin, Measure algebras, in: Handbook of Boolean Algebras, Vol. 3, North-Holland, 1989, 877-980.
  4. [GP] F. Galvin and K. Prikry, Borel sets and Ramsey's theorem, J. Symbolic Logic 38 (1973), 193-198.
  5. [J] T. Jech, Set Theory, Academic Press, New York, 1978.
  6. [K] A. S. Kechris, Classical Descriptive Set Theory, Springer, New York, 1995.
  7. [RS] A. Rosłanowski and S. Shelah, Simple forcing notions and forcing axioms, preprint.
  8. [Sh] S. Shelah, How special are Cohen and Random forcings, Israel J. Math. 88 (1994), 159-174.
  9. [S] J. Silver, Every analytic set is Ramsey, J. Symbolic Logic 35 (1970), 60-64.
Fundamenta Mathematicae
1998/156/1
Export to PBN, Opens in new tab
Pages:
73-83
Main language of publication
English
Received
1997-04-10
Accepted
1997-08-15
Published
1998
Exact and natural sciences