Autor: |
Bezhanishvili, Guram, Bezhanishvili, Nick, Lucero-Bryan, Joel, van Mill, Jan |
Rok vydání: |
2023 |
Předmět: |
|
Druh dokumentu: |
Working Paper |
Popis: |
We provide partial solutions to two problems posed by Shehtman concerning the modal logic of the \v{C}ech-Stone compactification of an ordinal space. We use the Continuum Hypothesis to give a finite axiomatization of the modal logic of $\beta(\omega^2)$, thus resolving Shehtman's first problem for $n=2$. We also characterize modal logics arising from the \v{C}ech-Stone compactification of an ordinal $\gamma$ provided the Cantor normal form of $\gamma$ satisfies an additional condition. This gives a partial solution of Shehtman's second problem. |
Databáze: |
arXiv |
Externí odkaz: |
|