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.
Additional Information
- James Hirschorn
- Affiliation: Graduate School of Science and Technology, Kobe University, Japan
- Address at time of publication: Thornhill, Ontario, Canada
- MR Author ID: 633758
- Email: j_hirschorn@yahoo.com
- Received by editor(s): May 24, 2006
- Published electronically: August 12, 2008
- Additional Notes: This research was primarily supported by the Lise Meitner Fellowship, Fonds zur Förderung der wissenschaftlichen Forschung, Project No. M749-N05; the first version was completed on October 15, 2003, with partial support of Consorcio Centro de Investigación Matemática, Spanish Government grant No. SB2002-0099. Revisions were made with the support of the Japanese Society for the Promotion of Science, Project No. P04301.
- © Copyright 2008
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 361 (2009), 19-39
- MSC (2000): Primary 03E05; Secondary 03E40, 28E15, 60H30
- DOI: https://doi.org/10.1090/S0002-9947-08-04614-X
- MathSciNet review: 2439396