We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
We answer a question from Raghavan and Steprāns by showing that 
$\mathfrak{s}\,\text{=}\,{{\mathfrak{s}}_{\omega ,\omega }}.$ Then we use this to construct a completely separable maximal almost disjoint family under 
$\mathfrak{s}\,\le \,\mathfrak{a}$, partially answering a question of Shelah.
Using ideas from Shelah's recent proof that a completely separable maximal almost disjoint family exists when 
$c<{{\aleph }_{\omega }}$, we construct a weakly tight family under the hypothesis 
$\mathfrak{s}\le \mathfrak{b}<{{\aleph }_{\omega }}$. The case when 
$\mathfrak{s}<\mathfrak{b}$ is handled in ZFC and does not require 
$\mathfrak{b}<{{\aleph }_{\omega }}$, while an additional PCF type hypothesis, which holds when $\mathfrak{b}<{{\aleph }_{\omega }}$ is used to treat the case 
$\mathfrak{s}=\mathfrak{b}$. The notion of a weakly tight family is a natural weakening of the well-studied notion of a Cohen indestructible maximal almost disjoint family. It was introduced by Hrušák and García Ferreira [8], who applied it to the Katétov order on almost disjoint families.
