Topological duality for diagonalizable algebras
The concept of a diagonalizable algebra (DA) has been introduced by Magari in order to provide an algebraic treatment of incompleteness logical phenomena. A first representation has been obtained as a particular case of Halmos' duality for hemimorphisms. On the other hand, some relations between DA's and scattered topological spaces have been pointed out by Esakia, Buskowski and Prucnal (the special operation \(\sigma\) of DA's is interpreted as the derived set operator). In this paper we develop this idea, and achieve a purely topological representation for DA's by introducing ``relatively scattered bitopological spaces. A topological characterization of the continuous maps corresponding to DA morphisms is also given. Thus the Stone duality is extended to DA's. The paper concludes with several applications of the previous results. Among other things, some results are proved about ``reflexive points.
- scientific article; zbMATH DE number 14394
- scientific article; zbMATH DE number 3887653
- Topological duality for Tarski algebras
- scientific article; zbMATH DE number 2176439
- scientific article; zbMATH DE number 2176427
- scientific article; zbMATH DE number 3875277
- Topological duality for distributive Ockham algebras
- Topologically algebraic algebras
- scientific article; zbMATH DE number 65601
- Duality in algebra and topology
- Hyperdiagonalizable algebras
- Algebraization of quantifier logics, an introductory overview
- Topological structure of diagonalizable algebras and corresponding logical properties of theories
- scientific article; zbMATH DE number 3887653 (Why is no real title available?)
- scientific article; zbMATH DE number 3875277 (Why is no real title available?)
- Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras
- scientific article; zbMATH DE number 14394 (Why is no real title available?)
- scientific article; zbMATH DE number 169605 (Why is no real title available?)
- scientific article; zbMATH DE number 733218 (Why is no real title available?)
- scientific article; zbMATH DE number 2108192 (Why is no real title available?)
- Intuitionistic logic and modality via topology
- Topological duality for distributive Ockham algebras
This page was built for publication: Topological duality for diagonalizable algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1109030)