Authors
Guram Bezhanishvili
Nick Bezhanishvili
Joel Lucero-Bryan
Jan van Mill
Date (dd-mm-yyyy)
2025-03
Title
On Shehtman's two problems
Journal
Journal of the London Mathematical Society
Volume
111
Publication Year
2025-03
Issue number
3
Document type
Article
Abstract

We provide partial solutions to two problems posed by Shehtman concerning the modal logic of the Čech–Stone compactification of an ordinal space. We use the Continuum Hypothesis to give a finite axiomatization of the modal logic of (Formula presented.), thus resolving Shehtman's first problem for (Formula presented.). We also characterize modal logics arising from the Čech–Stone compactification of an ordinal (Formula presented.) provided the Cantor normal form of (Formula presented.) satisfies an additional condition. This gives a partial solution of Shehtman's second problem.

URL
go to publisher's site
Note
Publisher Copyright:
© 2025 The Author(s). Journal of the London Mathematical Society is copyright © London Mathematical Society.
Permalink
https://hdl.handle.net/11245.1/9e5f9f78-84d4-4e81-8c43-df6802296a2c