Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Covering properties of $ω$-mad families
(Submitted on 1 Nov 2019)
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.
Link back to: arXiv, form interface, contact.