TY - RPRT TI - Completely separably MAD families and the modal logic of $βω$ AU - Tomáš Lávička AU - Jonathan L. Verner PY - 2017 UR - https://arxiv.org/abs/1709.06862 ID - 1709.06862 ER -