ArticleOriginal scientific text

Title

Parametrized Cichoń's diagram and small sets

Authors 1, 2

Affiliations

  1. Department of Mathematics, University of Wrocław, Pl. Grunwaldzki 2/4, 50-384 Wrocław, Poland
  2. Institute of Mathematics, University of Gdańsk, Wita Stwosza 57, 80-952 Gdańsk, Poland

Abstract

We parametrize Cichoń's diagram and show how cardinals from Cichoń's diagram yield classes of small sets of reals. For instance, we show that there exist subsets N and M of ww×2w and continuous functions e,f:wwww such that  • N is Gδ and {Nx:xww}, the collection of all vertical sections of N, is a basis for the ideal of measure zero subsets of 2w;  • M is Fσ and {Mx:xww} is a basis for the ideal of meager subsets of 2w;  •x,yNe(x)NyMxMf(y). From this we derive that for a separable metric space X,  •if for all Borel (resp. Gδ) sets BX×2w with all vertical sections null, xXBx is null, then for all Borel (resp. Fσ) sets BX×2w with all vertical sections meager, xXBx is meager;  •if there exists a Borel (resp. a "nice" Gδ) set BX×2w such that {Bx:xX} is a basis for measure zero sets, then there exists a Borel (resp. Fσ) set BX×2w such that {Bx:xX} is a basis for meager sets

Bibliography

  1. [AR] A. Andryszczak and I. Recław, A note on strong measure zero sets, Acta Univ. Carolin. 34 (2) (1993), 7-9.
  2. [B1] T. Bartoszyński, Additivity of measure implies additivity of category, Trans. Amer. Math. Soc. 281 (1984), 209-213.
  3. [B2] T. Bartoszyński, Combinatorial aspects of measure and category, Fund. Math. 127 (1987), 225-239.
  4. [BJ] T. Bartoszyński and H. Judah, Measure and Category in Set Theory, a forthcoming book.
  5. [BR] T. Bartoszyński and I. Recław, Not every γ-set is strongly meager, preprint.
  6. [BSh] T. Bartoszyński and S. Shelah, Closed measure zero sets, Ann. Pure Appl. Logic 58 (1992), 93-110.
  7. [Bl] A. Blass, Questions and answers - a category arising in Linear Logic, Complexity Theory and Set Theory, preprint.
  8. [C] T. Carlson, Strong measure zero and strongly meager sets, Proc. Amer. Math. Soc. 118 (1993), 577-586.
  9. [F1] D. H. Fremlin, On the additivity and cofinality of Radon measures, Mathematika 31 (1984) (2) (1985), 323-335.
  10. [F2] D. H. Fremlin, Cichoń's diagram, in: Sém. d'Initiation à l'Analyse, G. Choquet, M. Rogalski and J. Saint-Raymond (eds.), Publ. Math. Univ. Pierre et Marie Curie, 1983/84, (5-01)-(5-13).
  11. [FMi] D. H. Fremlin and A. Miller, On some properties of Hurewicz, Menger and Rothberger, Fund. Math. 129 (1988), 17-33.
  12. [G] F. Galvin, Indeterminacy of point-open games, Bull. Acad. Polon. Sci. 26 (1978), 445-449.
  13. [GMi] F. Galvin and A. W. Miller, γ-sets and other singular sets of real numbers, Topology Appl. 17 (1984), 145-155.
  14. [GMS] F. Galvin, J. Mycielski and R. M. Solovay, Strong measure zero sets, Notices Amer. Math. Soc. 26 (1979), A-280.
  15. [Ke] A. Kechris, Lectures on Classical Descriptive Set Theory, a forthcoming book.
  16. [L] R. Laver, On the consistency of Borel's conjecture, Acta Math. 137 (1976), 151-169.
  17. [Mi1] A. W. Miller, Mapping a set of reals onto the reals, J. Symbolic Logic 48 (1983), 575-584.
  18. [Mi2] A. W. Miller, Some properties of measure and category, Trans. Amer. Math. Soc. 266 (1981), 93-114.
  19. [Mi3] A. W. Miller, Special subsets of the real line, in: Handbook of Set-Theoretic Topology, K. Kunen and J. E. Vaughan (eds.), Elsevier, 1984, 203-233.
  20. [Mi4] A. W. Miller, On the length of Borel hierarchies, Ann. Math. Logic 16 (1979), 233-267.
  21. [P1] J. Pawlikowski, Lebesgue measurability implies Baire property, Bull. Sci. Math. (2) 109 (1985), 321-324.
  22. [P2] J. Pawlikowski, Every Sierpiński set is strongly meager, Arch. Math. Logic, to appear.
  23. [P3] J. Pawlikowski, Property C'', strongly meager sets and subsets of the plane, preprint.
  24. [Ra] J. Raisonnier, A mathematical proof of S. Shelah's theorem on the measure problem and related results, Israel J. Math. 48 (1984), 48-56.
  25. [RaSt] J. Raisonnier and J. Stern, The strength of measurability hypothesis, ibid. 50 (1985), 337-349.
  26. [R1] I. Recław, Every Lusin set is undetermined in the point-open game, Fund. Math. 144 (1994), 43-54.
  27. [R2] I. Recław, Cichoń's diagram and continuum hypothesis, circulated manuscript, 1992.
  28. [R3] I. Recław, On small sets in the sense of measure and category, Fund. Math. 133 (1989), 254-260.
  29. [V] P. Vojtáš, Generalized Galois-Tukey connections between explicit relations on classical objects of real analysis, in: Set Theory of the Reals, H. Judah (ed.), Israel Math. Conf. Proc. 6, 1993, 619-643.

Additional information

http://matwbn.icm.edu.pl/ksiazki/fm/fm147/fm14723.pdf

Pages:
135-155
Main language of publication
English
Received
1994-03-24
Accepted
1994-10-05
Published
1995
Exact and natural sciences