Borel conjecture and dual Borel conjecture
HTML articles powered by AMS MathViewer
- by Martin Goldstern, Jakob Kellner, Saharon Shelah and Wolfgang Wohofsky PDF
- Trans. Amer. Math. Soc. 366 (2014), 245-307 Request permission
Abstract:
We show that it is consistent that the Borel Conjecture and the dual Borel Conjecture hold simultaneously.References
- Tomek Bartoszyński and Haim Judah, Set theory, A K Peters, Ltd., Wellesley, MA, 1995. On the structure of the real line. MR 1350295, DOI 10.1201/9781439863466
- Andreas Blass, Selective ultrafilters and homogeneity, Ann. Pure Appl. Logic 38 (1988), no. 3, 215–255. MR 942525, DOI 10.1016/0168-0072(88)90027-9
- Andreas Blass\phantom{x}(mathoverflow.net/users/6794). Finite support iterations of $\sigma$-centered forcing notions. MathOverflow, 2011. http://mathoverflow.net/questions/84129 (version: 2011-12-23).
- E. Borel, Sur la classification des ensembles de mesure nulle, Bull. Soc. Math. France 47 (1919), 97–125 (French). MR 1504785, DOI 10.24033/bsmf.996
- Tomek Bartoszynski and Saharon Shelah, Strongly meager sets of size continuum, Arch. Math. Logic 42 (2003), no. 8, 769–779. MR 2020043, DOI 10.1007/s00153-003-0184-0
- Tomek Bartoszynski and Saharon Shelah, Dual Borel conjecture and Cohen reals, J. Symbolic Logic 75 (2010), no. 4, 1293–1310. MR 2767969, DOI 10.2178/jsl/1286198147
- Timothy J. Carlson, Strong measure zero and strongly meager sets, Proc. Amer. Math. Soc. 118 (1993), no. 2, 577–586. MR 1139474, DOI 10.1090/S0002-9939-1993-1139474-6
- Martin Goldstern and Jakob Kellner, New reals: can live with them, can live without them, MLQ Math. Log. Q. 52 (2006), no. 2, 115–124. MR 2214624, DOI 10.1002/malq.200510018
- Fred Galvin, Jan Mycielski, and Robert M. Solovay. Strong measure zero sets. Notices of the AMS, pages A–280, 1973.
- Martin Goldstern, Tools for your forcing construction, Set theory of the reals (Ramat Gan, 1991) Israel Math. Conf. Proc., vol. 6, Bar-Ilan Univ., Ramat Gan, 1993, pp. 305–360. MR 1234283
- Thomas Jech, Set theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003. The third millennium edition, revised and expanded. MR 1940513
- Haim Judah and Saharon Shelah, The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing), J. Symbolic Logic 55 (1990), no. 3, 909–927. MR 1071305, DOI 10.2307/2274464
- Jakob Kellner. Non-elementary proper forcing. To appear in: Rend. Semin. Mat. Univ. Politec. Torino, 2012. http://arxiv.org/abs/0910.2132.
- Jakob Kellner and Saharon Shelah, Preserving preservation, J. Symbolic Logic 70 (2005), no. 3, 914–945. MR 2155272, DOI 10.2178/jsl/1122038920
- 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
- Richard Laver, On the consistency of Borel’s conjecture, Acta Math. 137 (1976), no. 3-4, 151–169. MR 422027, DOI 10.1007/BF02392416
- Janusz Pawlikowski, A characterization of strong measure zero sets, Israel J. Math. 93 (1996), 171–183. MR 1380640, DOI 10.1007/BF02761100
- Janusz Pawlikowski, Laver’s forcing and outer measure, Set theory (Boise, ID, 1992–1994) Contemp. Math., vol. 192, Amer. Math. Soc., Providence, RI, 1996, pp. 71–76. MR 1367136, DOI 10.1090/conm/192/02350
- Saharon Shelah, Proper and improper forcing, 2nd ed., Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998. MR 1623206, DOI 10.1007/978-3-662-12831-2
- S. Shelah, Properness without elementaricity, J. Appl. Anal. 10 (2004), no. 2, 169–289. MR 2115943, DOI 10.1515/JAA.2004.169
- S. Shelah, Non-Cohen oracle C.C.C, J. Appl. Anal. 12 (2006), no. 1, 1–17. MR 2243849, DOI 10.1515/JAA.2006.1
- Saharon Shelah, Large continuum, oracles, Cent. Eur. J. Math. 8 (2010), no. 2, 213–234. MR 2610747, DOI 10.2478/s11533-010-0018-3
- W. Sierpiński. Sur un ensemble non dénombrable, dont toute image continue est de mesure nulle. Fund. Math., 11:302–304, 1928.
- Franklin D. Tall, $\sigma$-centred forcing and reflection of (sub)metrizability, Proc. Amer. Math. Soc. 121 (1994), no. 1, 299–306. MR 1179593, DOI 10.1090/S0002-9939-1994-1179593-2
Additional Information
- Martin Goldstern
- Affiliation: Institut für Diskrete Mathematik und Geometrie, Technische Universität Wien, Wiedner Hauptstraße 8–10/104, 1040 Wien, Austria
- Email: martin.goldstern@tuwien.ac.at
- Jakob Kellner
- Affiliation: Kurt Gödel Research Center for Mathematical Logic, Universität Wien, Währinger Straße 25, 1090 Wien, Austria
- Email: kellner@fsmat.at
- Saharon Shelah
- Affiliation: Einstein Institute of Mathematics, Edmond J. Safra Campus, Givat Ram, The Hebrew University of Jerusalem, Jerusalem, 91904, Israel — and — Department of Mathematics, Rutgers University, New Brunswick, New Jersey 08854
- MR Author ID: 160185
- ORCID: 0000-0003-0462-3152
- Email: shelah@math.huji.ac.il
- Wolfgang Wohofsky
- Affiliation: Institut für Diskrete Mathematik und Geometrie, Technische Universität Wien, Wiedner Hauptstraße 8–10/104, 1040 Wien, Austria
- MR Author ID: 1043905
- Email: wolfgang.wohofsky@gmx.at
- Received by editor(s): May 28, 2011
- Received by editor(s) in revised form: December 27, 2011
- Published electronically: August 19, 2013
- Additional Notes: The authors gratefully acknowledge the following partial support: US National Science Foundation Grant No. 0600940 (all authors); US-Israel Binational Science Foundation grant 2006108 (third author); Austrian Science Fund (FWF): P21651 and P23875 and EU FP7 Marie Curie grant PERG02-GA-2207-224747 (second and fourth authors); FWF grant P21968 (first and fourth authors); ÖAW Doc fellowship (fourth author). This is publication 969 of the third author
- © Copyright 2013 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 366 (2014), 245-307
- MSC (2010): Primary 03E35; Secondary 03E17, 28E15
- DOI: https://doi.org/10.1090/S0002-9947-2013-05783-2
- MathSciNet review: 3118397
Dedicated: Dedicated to the memory of Richard Laver (1942–2012)