Article contents
COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω
Published online by Cambridge University Press: 15 June 2020
Abstract
We show in ZFC that the existence of completely separable maximal almost disjoint families of subsets of
$\omega $
implies that the modal logic
$\mathbf {S4.1.2}$
is complete with respect to the Čech–Stone compactification of the natural numbers, the space
$\beta \omega $
. In the same fashion we prove that the modal logic
$\mathbf {S4}$
is complete with respect to the space
$\omega ^*=\beta \omega \setminus \omega $
. This improves the results of G. Bezhanishvili and J. Harding in [4], where the authors prove these theorems under stronger assumptions (
$\mathfrak {a=c}$
). Our proof is also somewhat simpler.
- Type
- Article
- Information
- Copyright
- © The Author(s), 2020. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
References
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220612125420425-0313:S0022481219000884:S0022481219000884_inline256.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220612125420425-0313:S0022481219000884:S0022481219000884_inline257.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220612125420425-0313:S0022481219000884:S0022481219000884_inline258.png?pub-status=live)
- 1
- Cited by