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 prove that for [Formula: see text] and [Formula: see text] there is a forcing extension with exactly n near-coherence classes of non-principal ultrafilters. We introduce localized versions of Matet forcing and we develop Ramsey spaces of names. The evaluation of some of the new forcings is based on a relative of Hindman’s theorem due to Blass 1987.

We prove that if an ultrafilter \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}}$$\end{document} is not coherent to a Q-point, then each analytic non-σ-bounded topological group G admits an increasing chain \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle G_\alpha:\alpha < \mathfrak b(\mathcal L)\rangle}$$\end{document} of its proper subgroups such that: (i) \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\bigcup_{\alpha}G_\alpha=G}$$\end{document}; and (ii) For every σ-bounded subgroup H of G there exists α such that \documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${H\subset G_\alpha}$$\end{document}. In case of the group Sym(ω) of all permutations of ω with the topology inherited from ωω this improves upon earlier results of S. Thomas. (shrink)