It is consistent that each union of many families in the Baire space which are not finitely dominating is not dominating. In particular, it is consistent that for each nonprincipal ultrafilter , the cofinality of the reduced ultrapower is greater than . The model is constructed by oracle chain condition forcing, to which we give a self-contained introduction.

Using a dictionary translating a variety of classical and modern covering properties into combinatorial properties of continuous images, we get a simple way to understand the interrelations between these properties in ZFC and in the realm of the trichotomy axiom for upward closed families of sets of natural numbers. While it is now known that the answer to the Hurewicz 1927 problem is positive, it is shown here that semifilter trichotomy implies a negative answer to a slightly stronger form of (...) this problem. (shrink)

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 : Every product of a concentrated space with a Hurewicz S1S1 space satisfies S1S1. On the other hand, assuming the Continuum Hypothesis, (...) for each Sierpiński set S there is a Luzin set L such that L×SL×S can be mapped onto the real line by a Borel function. Assuming Semifilter Trichotomy, every concentrated space is productively Menger and productively Rothberger. Every scale set is productively Hurewicz, productively Menger, productively Scheepers, and productively Gerlits–Nagy. Assuming d=ℵ1d=ℵ1, every productively Lindelöf space is productively Hurewicz, productively Menger, and productively Scheepers.A notorious open problem asks whether the additivity of Rothberger's property may be strictly greater than addadd, the additivity of the ideal of Lebesgue-null sets of reals. We obtain a positive answer, modulo the consistency of Semifilter Trichotomy >ℵ1.Our results improve upon and unify a number of results, established earlier by many authors. (shrink)

We answer a question of Just, Miller, Scheepers and Szeptycki whether certain diagonalization properties for sequences of open covers are provably closed under taking finite or countable unions.

We establish a surprising connection between Menger's classical covering property and Blass-Laflamme'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.

We provide a complete classification of the possible cofinal structures of the families of precompact (totally bounded) sets in general metric spaces, and compact sets in general complete metric spaces. Using this classification, we classify the cofinal structure of local bases in the groups C(X, R) of continuous real-valued functions on complete metric spaces X, with respect to the compact-open topology.

Marion Scheepers, in his studies of the combinatorics of open covers, introduced the property asserting that a cover of type can be split into two covers of type . In the first part of this paper we give an almost complete classification of all properties of this form where and are significant families of covers which appear in the literature , using combinatorial characterizations of these properties in terms related to ultrafilters on . In the second part of the paper (...) we consider the questions whether, given and , the property is preserved under taking finite or countable unions, arbitrary subsets, powers or products. Several interesting problems remain open. (shrink)