Some properties of measure and category

Miller, Arnold W.

doi:10.1090/S0002-9947-1981-0613787-2

Some properties of measure and category
HTML articles powered by AMS MathViewer

by Arnold W. Miller PDF

Trans. Amer. Math. Soc. 266 (1981), 93-114 Request permission

Abstract:

Several elementary cardinal properties of measure and category on the real line are studied. For example, one property is that every set of real numbers of cardinality less than the continuum has measure zero. All of the properties are true if the continuum hypothesis is assumed. Several of the properties are shown to be connected with the properties of the set of functions from integers to integers partially ordered by eventual dominance. Several, but not all, combinations of these properties are shown to be consistent with the usual axioms of set theory. The main technique used is iterated forcing.

References

Set theory notes

James E. Baumgartner and Richard Laver, Iterated perfect-set forcing, Ann. Math. Logic 17 (1979), no. 3, 271–288. MR 556894, DOI 10.1016/0003-4843(79)90010-X
Lev Bukowský, Random forcing, Set theory and hierarchy theory, V (Proc. Third Conf., Bierutowice, 1976) Lecture Notes in Math., Vol. 619, Springer, Berlin, 1977, pp. 101–117. MR 0485358
D. H. Fremlin and S. Shelah, On partitions of the real line, Israel J. Math. 32 (1979), no. 4, 299–304. MR 571084, DOI 10.1007/BF02760459
Serge Grigorieff, Combinatorics on ideals and forcing, Ann. Math. Logic 3 (1971), no. 4, 363–394. MR 297560, DOI 10.1016/0003-4843(71)90011-8
Stephen H. Hechler, On the existence of certain cofinal subsets of $^{\omega }\omega$, Axiomatic set theory (Proc. Sympos. Pure Math., Vol. XIII, Part II, Univ. California, Los Angeles, Calif., 1967) Amer. Math. Soc., Providence, R.I., 1974, pp. 155–173. MR 0360266
Juichi Shinoda, A note on Silver’s extension, Comment. Math. Univ. St. Paul. 22 (1973/74), no. 2, 109–111. MR 337613

Set theory

K. Kuratowski, Topology. Vol. I, Academic Press, New York-London; Państwowe Wydawnictwo Naukowe [Polish Scientific Publishers], Warsaw, 1966. New edition, revised and augmented; Translated from the French by J. Jaworowski. MR 0217751
Richard Laver, On the consistency of Borel’s conjecture, Acta Math. 137 (1976), no. 3-4, 151–169. MR 422027, DOI 10.1007/BF02392416
A. R. D. Mathias, Happy families, Ann. Math. Logic 12 (1977), no. 1, 59–111. MR 491197, DOI 10.1016/0003-4843(77)90006-7
D. A. Martin and R. M. Solovay, Internal Cohen extensions, Ann. Math. Logic 2 (1970), no. 2, 143–178. MR 270904, DOI 10.1016/0003-4843(70)90009-4
Arnold W. Miller, Covering $2^{\omega }$ with $\omega _{1}$ disjoint closed sets, The Kleene Symposium (Proc. Sympos., Univ. Wisconsin, Madison, Wis., 1978), Studies in Logic and the Foundations of Mathematics, vol. 101, North-Holland, Amsterdam-New York, 1980, pp. 415–421. MR 591893
Arnold W. Miller, On the length of Borel hierarchies, Ann. Math. Logic 16 (1979), no. 3, 233–267. MR 548475, DOI 10.1016/0003-4843(79)90003-2
Arnold W. Miller, The Baire category theorem and cardinals of countable cofinality, J. Symbolic Logic 47 (1982), no. 2, 275–288. MR 654788, DOI 10.2307/2273142
Jan Mycielski, Algebraic independence and measure, Fund. Math. 61 (1967), 165–169. MR 224762, DOI 10.4064/fm-61-2-165-169
John C. Oxtoby, Measure and category, 2nd ed., Graduate Texts in Mathematics, vol. 2, Springer-Verlag, New York-Berlin, 1980. A survey of the analogies between topological and measure spaces. MR 584443

Eine Aquivalenz zwischen der Kontinuumhypothese under der Existenz der Lusinschen und Sierpińskischen Mengen

30

Fritz Rothberger, Sur les familles indénombrables de suites de nombres naturels et les problèmes concernant la propriété $C$, Proc. Cambridge Philos. Soc. 37 (1941), 109–126 (French). MR 4281

Sur un ensemble toujours de première catégorie qui est déprourvu de la propriété

32

Fritz Rothberger, On some problems of Hausdorff and of Sierpiński, Fund. Math. 35 (1948), 29–46. MR 29958, DOI 10.4064/fm-35-1-29-46
Fritz Rothberger, On families of real functions with a denumerable base, Ann. of Math. (2) 45 (1944), 397–406. MR 11109, DOI 10.2307/1969184

Eine Verschärfung der Eigenschaft

30

Handbook of mathematical logic, Studies in Logic and the Foundations of Mathematics, vol. 90, North-Holland Publishing Co., Amsterdam, 1977. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. MR 457132
Gerald E. Sacks, Forcing with perfect closed sets, Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967) Amer. Math. Soc., Providence, R.I., 1971, pp. 331–355. MR 0276079
J. R. Shoenfield, Unramified forcing, Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967) Amer. Math. Soc., Providence, R.I., 1971, pp. 357–381. MR 0280359
Robert M. Solovay, A model of set-theory in which every set of reals is Lebesgue measurable, Ann. of Math. (2) 92 (1970), 1–56. MR 265151, DOI 10.2307/1970696
R. M. Solovay and S. Tennenbaum, Iterated Cohen extensions and Souslin’s problem, Ann. of Math. (2) 94 (1971), 201–245. MR 294139, DOI 10.2307/1970860
John Truss, Sets having calibre $\aleph _{1}$, Logic Colloquium 76 (Oxford, 1976) Studies in Logic and Found. Math., Vol. 87, North-Holland, Amsterdam, 1977, pp. 595–612. MR 0476513