Abstract
When we interpret modal ◊ as the limit point operator of a topological space, the Gödel-Löb modal system GL defines the class Scat of scattered spaces. We give a partition of Scat into α-slices S α , where α ranges over all ordinals. This provides topological completeness and definability results for extensions of GL. In particular, we axiomatize the modal logic of each ordinal α, thus obtaining a simple proof of the Abashidze–Blass theorem. On the other hand, when we interpret ◊ as closure in a topological space, the Grzegorczyk modal system Grz defines the class HI of hereditarily irresolvable spaces. We also give a partition of HI into α-slices H α , where α ranges over all ordinals. For a subset A of a hereditarily irresolvable space X and an ordinal α, we introduce the α-representation of A, give an axiomatization of the α-representation of A, and characterize H α in terms of α-representations. We prove that \({X \in {\bf H}_{1}}\) iff X is submaximal. For a positive integer n, we generalize the notion of a submaximal space to that of an n-submaximal space, and prove that \({X \in {\bf H}_{n}}\) iff X is n-submaximal. This provides topological completeness and definability results for extensions of Grz. We show that the two partitions are related to each other as follows. For a successor ordinal α = β + n, with β a limit ordinal and n a positive integer, we have \({{\bf H}_{\alpha} \cap {\bf Scat} = {\bf S}_{\beta+2n-1} \cup {\bf S}_{\beta+2n}}\) , and for a limit ordinal α, we have \({{\bf H}_{\alpha} \cap {\bf Scat} = {\bf S}_{\alpha}}\) . As a result, we obtain full and faithful translations of ordinal complete extensions of Grz into ordinal complete extensions of GL, thus generalizing the Kuznetsov–Goldblatt–Boolos theorem.
Similar content being viewed by others
References
Abashidze M.A.: Ordinal Completeness of the Gödel-Löb Modal System, Intensional Logics and the Logical Structure of Theories (Russian) (Telavi, 1985), pp. 49–73. Metsniereba, Tbilisi (1988)
van Benthem J., Bezhanishvili G., Gehrke M.: Euclidean hierarchy in modal logic. Stud. Logica 75(3), 327–344 (2003)
Bezhanishvili G., Esakia L., Gabelaia D.: Some results on modal axiomatization and definability for topological spaces. Stud. Logica 81(3), 325–355 (2005)
Bezhanishvili G., Mines R., Morandi P.J.: Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces. Topol. Appl. 132(3), 291–306 (2003)
Blass A.: Infinitary combinatorics and modal logic. J. Symb. Logic 55(2), 761–778 (1990)
Chagrov A., Zakharyaschev M.: Modal Logic, Oxford Logic Guides, vol. 35. The Clarendon Press Oxford University Press, New York (1997)
Esakia L.L.: Diagonal Constructions, Löb’s Formula and Cantor’s Scattered Spaces (Russian). Studies in Logic and Semantics, pp. 128–143. Metsniereba, Tbilisi (1981)
Esakia L.L.: Heyting Algebras I. Duality Theory (Russian). Metsniereba, Tbilisi (1985)
Gabelaia, D.: Modal definability in topology. Master’s Thesis, (2001)
Gabelaia, D.: Topological, algebraic, and spatio-temporal semantics for multi-dimesnional modal logics. Ph.D. thesis, King’s College, London (2004)
Hewitt E.: A problem of set-theoretic topology. Duke Math. J. 10, 309–333 (1943)
Kuratowski K.: Topology, vol. I. Academic Press, New York (1966)
Semadeni Z.: Banach Spaces of Continuous Functions, vol. I. PWN—Polish Scientific Publishers, Warsaw (1971)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bezhanishvili, G., Morandi, P.J. Scattered and hereditarily irresolvable spaces in modal logic. Arch. Math. Logic 49, 343–365 (2010). https://doi.org/10.1007/s00153-010-0175-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-010-0175-x