Completely separably MAD families and the modal logic of $\beta \omega$

Tomáš Lávička, Jonathan L. Verner

We show in ZFC that the existence of completely separable maximal almost disjoint families of subsets of $\omega$ implies that the modal logic S4.1.2 is complete with respect to the Čec…