We establish a surprising connection between Menger's classical covering property and Blass's modern combinatorial notion of groupwise density. This connection implies a short proof of the groupwise density bound on the additivity number for Menger's property.
The main results of this note are: It is consistent that every subparacompact space $X$ of size $ω_1$ is a $D$-space; If there exists a Michael space, then all productively Lindelöf spaces have the Menger property, and, therefore, are $D$-spaces; and Every locally $D$-space which admits a $σ$-locally finite cover by Lindelöf spaces is a $D$-space.
In this note we present a ZFC construction of a non-meager filter which fails to be countable dense homogeneous. This answers a question of Hernández-Gutiérrez and Hrušák. The method of the proof also allows us to obtain a metrizable Baire topological group which is strongly locally homogeneous but not countable dense homogeneous.
We prove that in the Miller model the Menger property is preserved by finite products of metrizable spaces. This answers several open questions and gives another instance of the interplay between classical forcing posets with fusion and combinatorial covering properties in topology.
We study products of general topological spaces with Menger's covering property, and its refinements based on filters and semifilters. To this end, we extend the projection method from the classic real line topology to the Michael topology. Among other results, we prove that, assuming \CH{}, every productively Lindelöf space is productively Menger, and every productively Menger space is productively Hurewicz. None of these implications is reversible.
We study the preservation of selective covering properties, including classic ones introduced by Menger, Hurewicz, Rothberger, Gerlits and Nagy, and others, under products with some major families of concentrated sets of reals. Our methods include the projection method introduced by the authors in an earlier work, as well as several new methods. Some special consequences of our main results are (definitions provided in the paper): \be \item Every product of a concentrated space with a Hurewicz $\sone(\Ga,\Op)$ space satisfies $\sone(\Ga,\Op)$. On the other hand, assuming \CH{}, for each Sierpi…
Which Isbell--Mrówka spaces ($Ψ$-spaces) satisfy the star version of Menger's and Hurewicz's covering properties? Following Bonanzinga and Matveev, this question is considered here from a combinatorial point of view. An example of a $Ψ$-space that is (strongly) star-Menger but not star-Hurewicz is obtained. The PCF-theory function $κ\mapsto\cof([κ]^\alephes)$ is a key tool. Using the method of forcing, a complete answer to a question of Bonanzinga and Matveev is provided. The results also apply to the mentioned covering properties in the realm of Pixley--Roy spaces, to the extent of spaces wit…
We provide simplified solutions of Menger's and Hurewicz's problems and conjectures, concerning generalizations of sigma-compactness. The reader who is new to this field will find a self-contained treatment in Sections 1, 2, and 5. Sections 3 and 4 contain new results, based on the mentioned simplified solutions. The main new result is that there is a set of reals X of cardinality equal to the unbounding number b, and which has the following property: "Given point-cofinite covers U_1,U_2,... of X, there are for each n sets u_n,v_n in U_n, such that each member of X is contained in all but fini…
Iwasa investigated the preservation of various covering properties of opological spaces under Cohen forcing. By improving the argument in Iwasa's paper, we prove that the Rothberger property, the Menger property and selective screenability are also preserved under Cohen forcing and forcing with the measure algebra.
Combinatorial covering properties in an uncountable setting: canonical examples
Bar-Ilan University(巴伊兰大学);Ariel University(阿里埃勒大学);Lodz University of Technology(罗兹理工大学);University of Warsaw(华沙大学);Technische Universität Wien(维也纳工业大学)
We develop the semifilter approach to the classical Menger and Hurewicz covering properties and show that the small cardinal g is a lower bound of the additivity number of the family of Menger subspaces of the Baire space, and under u< g every subset X of the real line with the property Split(Lambda,Lambda) is Hurewicz.
We prove that if X is a separable metric space with the Hurewicz covering property, then the Banach-Mazur game played on X is determined. The implication is not true when "Hurewicz covering property" is replaced with "Menger covering property".
The_additivity_number_ of a topological property (relative to a given space) is the minimal number of subspaces with this property whose union does not have the property. The most well-known case is where this number is greater than Aleph_0, i.e. the property is sigma-additive. We give a rather complete survey of the known results about the additivity numbers of a variety of topological covering properties, including those appearing in the Scheepers diagram (which contains, among others, the classical properties of Menger, Hurewicz, Rothberger, and Gerlits-Nagy). Some of the results proved her…
In this paper, we prove the following Theorems 1. An extremally disconnected space $X$ has the semi-Menger property if and only if One does not have a winning strategy in the game $G_{fin}(sO,sO)$. 2. An extremally disconnected space $X$ has the semi-Rothberger property if and only if One does not have a winning strategy in the game $G_1(sO,sO)$.
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.