Selection Principles in the Laver, Miller, and Sacks models

Abstract

This article is devoted to the interplay between forcing with fusion and combinatorial covering properties. We discuss known instances of this interplay as well as present a new one, namely that in the Laver model for the consistency of the Borel's conjecture, the Hurewicz property is preserved by finite products of metrizable spaces.