Abstract
Within ZFC, we develop a general technique to topologize trees that provides a uniform approach to topological completeness results in modal logic with respect to zero-dimensional Hausdorff spaces. Embeddings of these spaces into well-known extremally disconnected spaces then gives new completeness results for logics extending S4.2.
Similar content being viewed by others
Notes
The notion of densely discrete has appeared in the literature under the names \(\alpha \)-scattered [26] and weakly scattered (see, e.g., [6, 7, 11]). Since the term weakly scattered is often used for a different concept (see, e.g., [24, p. 120]), we adopt Arhangel’skii’s more descriptive terminology.
This can be seen as follows. Theorem 6.10(2) implies that there is a basis for \(\mathbb T_{\omega _1}^\omega \) consisting of \(\omega _1\) clopen subsets. Therefore, since \(\mathbb T_{\omega _1}^\omega \) is Lindelöf, it has at most continuum many clopen sets. Thus, the weight of \(\beta (\mathbb T_{\omega _1}^\omega )\) is at most \(\mathfrak c\), and hence \(\beta (\mathbb T_{\omega _1}^\omega )\) embeds into the Cantor cube \(2^\mathfrak c\). By [17, Sec. 2], \(\beta (\mathbb T_{\omega _1}^\omega )\) embeds into the Gleason cover of \(2^\mathfrak c\), which by Efimov’s theorem (see, e.g., [17]) embeds into \(\beta (\omega )\).
References
Abashidze, M.A.: Algebraic analysis of the Gödel-Löb modal system, Ph.D. thesis, Tbilisi State University (1987) (in Russian)
Aiello, M., van Benthem, J., Bezhanishvili, G.: Reasoning about space: the modal way. J. Logic Comput. 13(6), 889–920 (2003)
van Benthem, J., Bezhanishvili, G., ten Cate, B., Sarenac, D.: Multimodal logics of products of topologies. Stud. Log. 84(3), 369–392 (2006)
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., van Mill, J.: Krull dimension in modal logic. J. Symb. Log. 82(4), 1356–1386 (2017)
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., van Mill, J.: On modal logics arising from scattered locally compact Hausdorff spaces. Ann. Pure Appl. Log. 170(5), 558–577 (2019)
Bezhanishvili, G., Esakia, L., Gabelaia, D.: Some results on modal axiomatization and definability for topological spaces. Stud. Log. 81(3), 325–355 (2005)
Bezhanishvili, G., Gabelaia, D., Lucero-Bryan, J.: Modal logics of metric spaces. Rev. Symb. Log. 8(1), 178–191 (2015)
Bezhanishvili, G., Gabelaia, D., Lucero-Bryan, J.: Topological completeness of logics above S4. J. Symb. Log. 80(2), 520–566 (2015)
Bezhanishvili, G., Gehrke, M.: Completeness of S4 with respect to the real line: revisited. Ann. Pure Appl. Log. 131(1–3), 287–301 (2005)
Bezhanishvili, G., Harding, J.: The modal logic of \(\beta (\mathbb{N})\). Arch. Math. Log. 48(3–4), 231–242 (2009)
Bezhanishvili, G., Harding, J.: Modal logics of Stone spaces. Order 29(2), 271–292 (2012)
Bezhanishvili, G., Morandi, P.J.: Scattered and hereditarily irresolvable spaces in modal logic. Arch. Math. Log. 49(3), 343–365 (2010)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Blass, A.: Infinitary combinatorics and modal logic. J. Symb. Log. 55(2), 761–778 (1990)
Ceder, J.G.: On maximally resolvable spaces. Fund. Math. 55, 87–93 (1964)
Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford University Press, Oxford (1997)
Dow, A., van Mill, J.: An extremally disconnected Dowker space. Proc. Am. Math. Soc. 86(4), 669–672 (1982)
Engelking, R.: General Topology, 2nd edn. Heldermann, Berlin (1989)
Gillman, L., Jerison, M.: Rings of Continuous Functions. Springer, New York. Reprint of the 1960 edition, Graduate Texts in Mathematics, No. 43 (1976)
Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)
Kremer, P.: Strong completeness of S4 for any dense-in-itself metric space. Rev. Symb. Log. 6(3), 545–570 (2013)
McKinsey, J.C.C., Tarski, A.: The algebra of topology. Ann. Math. 45, 141–191 (1944)
Mints, G.: A completeness proof for propositional S4 in Cantor space. In: Logic at Work. Studies in Fuzziness and Soft Computing, vol. 24, pp. 79–88. Physica, Heidelberg (1999)
Picado, J., Pultr, A.: Frames and Locales. Frontiers in Mathematics. Birkhäuser/Springer, Basel (2012)
Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. Monografie Matematyczne, Tom 41. Państwowe Wydawnictwo Naukowe, Warsaw (1963)
Rose, D.A.: \(\alpha \)-scattered spaces. Int. J. Math. Math. Sci. 21(1), 41–46 (1998)
Semadeni, Z.: Banach Spaces of Continuous Functions, vol. I. PWN-Polish Scientific Publishers, Warsaw (1971)
Acknowledgements
We would like to thank the referee for careful reading, useful comments, and suggesting a simplification of the proof of Theorem 5.9.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J. et al. Tree-like constructions in topology and modal logic. Arch. Math. Logic 60, 265–299 (2021). https://doi.org/10.1007/s00153-020-00743-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-020-00743-6
Keywords
- Modal logic
- Topological semantics
- Tree
- Tychonoff space
- Zero-dimensional space
- Scattered space
- Extremally disconnected space
- P-space
- Lindelöf space
- Patch topology