Modal operators on rings of continuous functions

DOI10.1017/JSL.2021.83arXiv1909.06912MaRDI QIDQ6325346FDOQ6325346

Guram Bezhanishvili, Patrick Morandi, Luca Carai

Publication date: 15 September 2019

Abstract: It is a classic result in modal logic that the category of modal algebras is dually equivalent to the category of descriptive frames. The latter are Kripke frames equipped with a Stone topology such that the binary relation is continuous. This duality generalizes the celebrated Stone duality. Our goal is to further generalize descriptive frames so that the topology is an arbitrary compact Hausdorff topology. For this, instead of working with the boolean algebra of clopen subsets of a Stone space, we work with the ring of continuous real-valued functions on a compact Hausdorff space. The main novelty is to define a modal operator on such a ring utilizing a continuous relation on a compact Hausdorff space. Our starting point is the well-known Gelfand duality between the category $KHaus$ of compact Hausdorff spaces and the category $ubal$ of uniformly complete bounded archimedean $ell$-algebras. We endow a bounded archimedean $ell$-algebra with a modal operator, which results in the category $mbal$ of modal bounded archimedean $ell$-algebras. Our main result establishes a dual adjunction between $mbal$ and the category $KHK$ of what we call compact Hausdorff frames; that is, Kripke frames equipped with a compact Hausdorff topology such that the binary relation is continuous. This dual adjunction restricts to a dual equivalence between $KHK$ and the reflective subcategory $mubal$ of $mbal$ consisting of uniformly complete objects of $mbal$. This generalizes both Gelfand duality and the duality for modal algebras.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Ordered rings, algebras, modules (06F25) Real-valued functions in general topology (54C30) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Stone spaces (Boolean spaces) and related structures (06E15)

This page was built for publication: Modal operators on rings of continuous functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6325346)