Products of Hurewicz spaces in the Laver model. (English) Zbl 1421.03024
Summary: This article is devoted to the interplay between forcing with fusion and combinatorial covering properties. We illustrate this interplay by proving that in the Laver model for the consistency of the Borel’s conjecture, the product of any two metrizable spaces with the Hurewicz property has the Menger property.
MSC:
| 03E35 | Consistency and independence results |
| 54D20 | Noncompact covering properties (paracompact, Lindelöf, etc.) |
| 54C50 | Topology of special sets defined by functions |
| 03E05 | Other combinatorial set theory |
| 54A35 | Consistency and independence results in general topology |
References:
| [1] | AurichiL. F., D-spaces, topological games, and selection principles. Topology Proceedings, vol. 36 (2010), pp. 107-122. · Zbl 1203.54024 |
| [2] | BabinkostovaL., On some questions about selective separability. Mathematical Logic Quarterly, 55 (2009), pp. 539-541.10.1002/malq.200810010 · Zbl 1207.54035 · doi:10.1002/malq.200810010 |
| [3] | BarmanD. and DowA., Proper forcing axiom and selective separability. Topology and its Applications, vol. 159 (2012), pp. 806-813.10.1016/j.topol.2011.11.048 · Zbl 1246.54031 · doi:10.1016/j.topol.2011.11.048 |
| [4] | BartoszyńskiT. and JudahH., Set Theory. On the Structure of the Real Line, A. K. Peters, Ltd., Wellesley, MA, 1995. · Zbl 0834.04001 |
| [5] | BlassA., Combinatorial cardinal characteristics of the continuum, Handbook of Set Theory (ForemanM., KanamoriA., and MagidorM., editors), Springer, Dordrecht, 2010, pp. 395-491.10.1007/978-1-4020-5764-9_7 · Zbl 1198.03058 · doi:10.1007/978-1-4020-5764-9_7 |
| [6] | BlassA. and ShelahS., There may be simple<![CDATA \([{P_{{\aleph_1}}}]]\)>- and<![CDATA \([{P_{{\aleph_2}}}]]\)>-points and the Rudin-Keisler ordering may be downward directed. Annals of Pure and Applied Logic, vol. 33 (1987), pp. 213-243.10.1016/0168-0072(87)90082-0 · Zbl 0634.03047 · doi:10.1016/0168-0072(87)90082-0 |
| [7] | BukovskyL., The Structure of the Real Line, Instytut Matematyczny Polskiej Akademii Nauk. Monografie Matematyczne (New Series), 71, Birkhäuser/Springer Basel AG, Basel, 2011. · Zbl 0156.02603 |
| [8] | ChodounskyD., GuzmanO., and HrušákM., Mathias-Prikry and Laver type forcing; Summable ideals, coideals, and +-selective filters. Archive for Mathematical Logic, vol. 55 (2016), pp. 493-504.10.1007/s00153-016-0476-9 · Zbl 1345.03090 · doi:10.1007/s00153-016-0476-9 |
| [9] | ChodounskýD., RepovšD., and ZdomskyyL., Mathias forcing and combinatorial covering properties of filters. The Journal of Symbolic Logic, vol. 80 (2015), pp. 1398-1410.10.1017/jsl.2014.73 · Zbl 1350.54019 · doi:10.1017/jsl.2014.73 |
| [10] | GartsideP., MediniA., and ZdomskyyL., The Tukey Order, Hyperspaces, and Selection Principles, work in progress. |
| [11] | HrušákM. and van MillJ., The existence of a meager in itself CDH metric space is independent of ZFC. Proceedings of the American Mathematical Society, doi:10.1090/proc/13434. · Zbl 1402.54028 |
| [12] | HurewiczW., Über die Verallgemeinerung des Borelschen Theorems. Mathematische Zeitschrift, vol. 24 (1925), pp. 401-421. · JFM 51.0454.02 |
| [13] | HurewiczW., Über Folgen stetiger Funktionen. Fundamenta Mathematicae, vol. 9 (1927), pp. 193-204.10.4064/fm-9-1-193-210 · JFM 53.0562.03 · doi:10.4064/fm-9-1-193-210 |
| [14] | JustW., MillerA. W., ScheepersM., and SzeptyckiP. J., The combinatorics of open covers. II. Topology and its Applications, vol. 73 (1996), pp. 241-266.10.1016/S0166-8641(96)00075-2 · Zbl 0870.03021 · doi:10.1016/S0166-8641(96)00075-2 |
| [15] | LaverR., On the consistency of Borel’s conjecture. Acta Mathematica, vol. 137 (1976), pp. 151-169.10.1007/BF02392416 · Zbl 0357.28003 · doi:10.1007/BF02392416 |
| [16] | MengerK., Einige Überdeckungssätze der Punktmengenlehre. Sitzungsberichte. Abt. 2a, Mathematik, Astronomie, Physik, Meteorologie und Mechanik (Wiener Akademie), vol. 133 (1924), pp. 421-444. · JFM 50.0129.01 |
| [17] | MillerA., Rational perfect set forcing, Axiomatic Set Theory (BaumgartnerJ., MartinD. A., and ShelahS., editors), Contemporary Mathematics, vol. 31, American Mathematical Society, Providence, RI, 1984, pp. 143-159.10.1090/conm/031/763899 · Zbl 0555.03020 · doi:10.1090/conm/031/763899 |
| [18] | MillerA. W., Special subsets of the real line, Handbook of Set-Theoretic Topology (KunenK. and VaughanJ. E., editors), North Holland, Amsterdam, 1984, pp. 201-233.10.1016/B978-0-444-86580-9.50008-2 · Zbl 0588.54035 · doi:10.1016/B978-0-444-86580-9.50008-2 |
| [19] | MillerA. W. and TsabanB., Point-cofinite covers in the Laver model. Proceedings of the American Mathematical Society, vol. 138 (2010), pp. 3313-3321.10.1090/S0002-9939-10-10407-9 · Zbl 1200.03038 · doi:10.1090/S0002-9939-10-10407-9 |
| [20] | MillerA. W. and TsabanB., Selective covering properties of product spaces. Annals of Pure and Applied Logic, vol. 165 (2014), pp. 1034-1057.10.1016/j.apal.2014.01.001 · Zbl 1348.03044 · doi:10.1016/j.apal.2014.01.001 |
| [21] | MillerA. W., TsabanB., and ZdomskyyL., Selective covering properties of product spaces, II: Gamma spaces. Transactions of the American Mathematical Society, vol. 368 (2016), pp. 2865-2889. · Zbl 1403.03094 |
| [22] | RepovšD. and ZdomskyyL., On M-separability of countable spaces and function spaces. Topology and its Applications, vol. 157 (2010), pp. 2538-2541.10.1016/j.topol.2010.07.036 · Zbl 1226.54029 · doi:10.1016/j.topol.2010.07.036 |
| [23] | SacksG. E., Forcing with perfect closed sets, Axiomatic Set Theory (ScottD., editor), Proceedings of the Symposium on Pure Mathematics, Vol. XIII, Part I, American Mathematical Society, Providence, RI, 1971, pp. 331-355. · Zbl 0226.02047 |
| [24] | ScheepersM., Combinatorics of open covers. I. Ramsey theory. Topology and its Applications, vol. 69 (1996), pp. 31-62.10.1016/0166-8641(95)00067-4 · Zbl 0848.54018 · doi:10.1016/0166-8641(95)00067-4 |
| [25] | ScheepersM. and TallF., Lindelöf indestructibility, topological games and selection principles. Fundamenta Mathematicae, vol. 210 (2010), pp. 1-46.10.4064/fm210-1-1 · Zbl 1229.54031 · doi:10.4064/fm210-1-1 |
| [26] | SierpińskiW., Sur un ensemble non dénombrable, dont toute image continue est de mesure nulle. Fundamenta Mathematicae, vol. 11 (1928), pp. 302-303.10.4064/fm-11-1-302-303 · JFM 54.0097.03 · doi:10.4064/fm-11-1-302-303 |
| [27] | ScheepersM. and TsabanB., The combinatorics of Borel covers. Topology and its Applications, vol. 121 (2002), pp. 357-382.10.1016/S0166-8641(01)00078-5 · Zbl 1025.03042 · doi:10.1016/S0166-8641(01)00078-5 |
| [28] | TodorčevićS., Aronszajn orderings. Djuro Kurepa memorial volume. Publications de l’Institut Mathématique (Beograd), vol. 57 (1995), no. 71, pp. 29-46. · Zbl 0913.04004 |
| [29] | TsabanB., Selection principles and special sets of reals, Open Problems in Topology II (PearlE., editor), Elsevier Science Publishing, Amsterdam, 2007, pp. 91-108.10.1016/B978-044452208-5/50009-0 · doi:10.1016/B978-044452208-5/50009-0 |
| [30] | TsabanB., Algebra, selections, and additive Ramsey theory, preprint, 2015, http://arxiv.org/pdf/1407.7437.pdf. |
| [31] | TsabanB. and ZdomskyyL., Hereditarily Hurewicz spaces and Arhangel’ski sheaf amalgamations. Journal of the European Mathematical Society, vol. 14 (2012), pp. 353-372. · Zbl 1267.54019 |
| [32] | ZdomskyyL., A semifilter approach to selection principles. Commentationes Mathematicae Universitatis Carolinae, vol. 46 (2005), pp. 525-539. · Zbl 1121.03060 |
| [33] | ZdomskyyL., Products of Menger spaces in the Miller model, preprint, http://www.logic.univie.ac.at/∼lzdomsky/. |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
