Random gaps

Hirschorn, James

doi:10.1090/S0002-9947-08-04614-X

Random gaps
HTML articles powered by AMS MathViewer

by James Hirschorn PDF

Trans. Amer. Math. Soc. 361 (2009), 19-39 Request permission

Abstract:

It is proved that there exists an $(\omega _1,\omega _1)$ Souslin gap in the Boolean algebra $(L^0(\nu )/\operatorname {Fin}, \subseteq _{\operatorname {ae}}^*)$ for every nonseparable measure $\nu$. Thus a Souslin, also known as destructible, $(\omega _1,\omega _1)$ gap in $\mathcal {P}(\mathbb {N})/ \operatorname {Fin}$ can always be constructed from uncountably many random reals. We explain how to obtain the corresponding conclusion from the hypothesis that Lebesgue measure can be extended to all subsets of the real line (RVM).

References

Uri Abraham and Stevo Todorčević, Partition properties of $\omega _1$ compatible with CH, Fund. Math. 152 (1997), no. 2, 165–181. MR 1441232, DOI 10.4064/fm-152-2-165-181
P. du Bois-Reymond, Eine neue Theorie der Convergenz und Divergenz von Reihen mit positiven Gliedern, Journal fur Mathematik 76 (1873), 61–91.
Andrés Eduardo Caicedo, Real-valued measurable cardinals and well-orderings of the reals, Set theory, Trends Math., Birkhäuser, Basel, 2006, pp. 83–120. MR 2267147, DOI 10.1007/3-7643-7692-9_{4}
Keith J. Devlin and Håvard Johnsbråten, The Souslin problem, Lecture Notes in Mathematics, Vol. 405, Springer-Verlag, Berlin-New York, 1974. MR 0384542
Alan Dow, More set-theory for topologists, Topology Appl. 64 (1995), no. 3, 243–300. MR 1342520, DOI 10.1016/0166-8641(95)00034-E
Ilijas Farah, Luzin gaps, Trans. Amer. Math. Soc. 356 (2004), no. 6, 2197–2239. MR 2048515, DOI 10.1090/S0002-9947-04-03565-2
D. H. Fremlin, Real-valued-measurable cardinals, Set theory of the reals (Ramat Gan, 1991) Israel Math. Conf. Proc., vol. 6, Bar-Ilan Univ., Ramat Gan, 1993, pp. 151–304. MR 1234282
David H. Fremlin, Measure algebras, Handbook of Boolean algebras, Vol. 3, North-Holland, Amsterdam, 1989, pp. 877–980. MR 991611
Joseph Gillis, Note on a property of measurable sets, J. London Math. Soc. 11 (1936), 139–141.
Moti Gitik and Saharon Shelah, Forcings with ideals and simple forcing notions, Israel J. Math. 68 (1989), no. 2, 129–160. MR 1035887, DOI 10.1007/BF02772658
Moti Gitik and Saharon Shelah, More on real-valued measurable cardinals and forcing with ideals, Israel J. Math. 124 (2001), 221–242. MR 1856516, DOI 10.1007/BF02772619
J. Hadamard, Sur les caractères de convergence des séries a termes positifs et sur les fonctions indéfiniment croissantes, Acta Math. 18 (1894), no. 1, 319–336 (French). MR 1554858, DOI 10.1007/BF02418282
Felix Hausdorff, Die Graduierung nach dem Endverlauf, Abhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften; Mathematisch-Physikalische Klasse 31 (1909), 296–334.
Felix Hausdorff, Summen $\aleph _1$ von Mengen, Fund. Math. 26 (1936), no. 3, 241–255.
James Hirschorn, Towers of measurable functions, Fund. Math. 164 (2000), no. 2, 165–192. MR 1784706, DOI 10.4064/fm-164-2-165-192
James Hirschorn, On the strength of Hausdorff’s gap condition, 2002. preprint. http://homepage. univie.ac.at/James.Hirschorn/research/Hausdorff.gap/Hausdorff.gap.ht ml.
James Hirschorn, Summable gaps, Ann. Pure Appl. Logic 120 (2003), no. 1-3, 1–63. MR 1949702, DOI 10.1016/S0168-0072(02)00034-9
James Hirschorn, Encyclopedia of general topology. Measure Theory, I and II (2004), 459–469.
James Hirschorn, Random gaps under CH, Trans. Amer. Math. Soc. 356 (2004), no. 4, 1281–1290. MR 2034309, DOI 10.1090/S0002-9947-03-03380-4
James Hirschorn, Random trees under CH, Israel J. Math. 157 (2007), 123–153. MR 2342443, DOI 10.1007/s11856-006-0005-3
James Hirschorn, Supplement to “Random gaps”, 2007. http://homepage.univie.ac.at/James. Hirschorn/research/random.gap/random.gap.html.
Kenneth Kunen, $(\kappa ,\lambda ^*)$ gaps under $\mathrm {MA}$, 1976. handwritten note.
Kenneth Kunen, Random and Cohen reals, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 887–911. MR 776639
Richard Laver, Random reals and Souslin trees, Proc. Amer. Math. Soc. 100 (1987), no. 3, 531–534. MR 891159, DOI 10.1090/S0002-9939-1987-0891159-4
Marion Scheepers, Gaps in $\omega ^\omega$, Set theory of the reals (Ramat Gan, 1991) Israel Math. Conf. Proc., vol. 6, Bar-Ilan Univ., Ramat Gan, 1993, pp. 439–561. MR 1234288
Dana Scott, A proof of the independence of the continuum hypothesis, Math. Systems Theory 1 (1967), 89–111. MR 218233, DOI 10.1007/BF01705520
Saharon Shelah, Can you take Solovay’s inaccessible away?, Israel J. Math. 48 (1984), no. 1, 1–47. MR 768264, DOI 10.1007/BF02760522
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
S. Todorchevich and I. Farah, Some applications of the method of forcing, Yenisei Series in Pure and Applied Mathematics, Yenisei, Moscow; Lycée, Troitsk, 1995. MR 1486583
Stevo Todorčević, Partition problems in topology, Contemporary Mathematics, vol. 84, American Mathematical Society, Providence, RI, 1989. MR 980949, DOI 10.1090/conm/084
Stevo Todorčević, A dichotomy for P-ideals of countable sets, Fund. Math. 166 (2000), no. 3, 251–267. MR 1809418, DOI 10.4064/fm-166-3-251-267
Stanisław Ulam, Zur Maßtheorie in der allgemeinen Mengenlehre, Fund. Math. 16 (1930), 140–150.
W. Hugh Woodin, Discontinuous homomorphisms of ${C}(\varOmega )$ and set theory, Ph.D. Thesis, University of California, Berkeley, 1984.