Nicely generated and chaotic ideals

Brendle, Jörg

doi:10.1090/S0002-9939-96-03287-X

Nicely generated and chaotic ideals
HTML articles powered by AMS MathViewer

by Jörg Brendle PDF

Proc. Amer. Math. Soc. 124 (1996), 2533-2538 Request permission

Abstract:

We show that if the real line is the disjoint union of $\kappa$ meager sets such that every meager set is contained in a countable union of them, then $\kappa = \omega _1$. This answers a question addressed by Jacek Cichoń. We also prove two theorems saying roughly that any attempt to produce the isomorphism type of the meager ideal in the Cohen real and the random real extensions must fail. All our results hold for meager replaced by null, as well.

References

T. Bartoszyński and H. Judah, Set Theory, On the Structure of the Real Line, A. K. Peters, Wellesley, MA, 1995.
Tomek Bartoszyński, Haim Judah, and Saharon Shelah, The Cichoń diagram, J. Symbolic Logic 58 (1993), no. 2, 401–423. MR 1233917, DOI 10.2307/2275212
D. Fremlin, Cichoń’s diagram, Séminaire Initiation à l’Analyse (G. Choquet, M. Rogalski, J. Saint Raymond, eds.), Publications Mathématiques de l’Université Pierre et Marie Curie, Paris, 1984, pp. 5-01–5-13.
Thomas Jech, Set theory, Pure and Applied Mathematics, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. MR 506523
Kenneth Kunen, Set theory, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam-New York, 1980. An introduction to independence proofs. MR 597342
Kenneth Kunen, Random and Cohen reals, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 887–911. MR 776639
Arnold W. Miller, Arnie Miller’s problem list, Set theory of the reals (Ramat Gan, 1991) Israel Math. Conf. Proc., vol. 6, Bar-Ilan Univ., Ramat Gan, 1993, pp. 645–654. MR 1234292