Covering properties of $\omega$-mad families

Abstract

We prove that CH implies the existence of a Cohen-indestructible mad family such that the Mathias forcing associated to its filter adds dominating reals, while $\mathfrak{b}=\mathfrak{c}$ is consistent with the negation of this statement as witnessed by the Laver model for the consistency of Borel's conjecture.

Comments are welcome. Archive for Mathematical Logic, to appear

References in corpus (1)

• Products of Hurewicz spaces in the Laver model