arXiv++ Combinatorics

We consider a question: Can a given AD-family be ADR for two orthogonal uncountable towers? If $b > ω_1$, then we rebuilt any AD-family of the cardinality $ω_1$ onto a Hausdorff pre-gap. Moreover, if a such AD-family is a Luzin gap, then we obtain a Hausdorff gap. Under $b = ω_1$, a similar rebuilding is impossible.

The $σ$-ideal $(v^0)$ is associated with the Silver forcing, see \cite{bre}. Also, it constitutes the family of all completely doughnut null sets, see \cite{hal}. We introduce segments and $*$-segments topologies, to state some resemblances of $(v^0)$ to the family of Ramsey null sets. To describe $add(v^0)$ we adopt a proof of Base Matrix Lemma. Consistent results are stated, too. Halbeisen's conjecture $cov(v^0) = add(v^0)$ is confirmed under the hypothesis $t= \min \{\cf (\frak c), r\} $. The hypothesis $h=ω_1$ implies that $(v^0)$ has the ideal type $(\frak c, ω_1,\frak c)$.