Remarks on hyperspaces for Priestley spaces

DOI10.1016/J.TCS.2022.12.001MaRDI QIDQ2680995zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili, John Harding, Patrick Morandi

Publication date 5 January 2023

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2207.03604

zbMATH Keywords

coalgebradistributive latticehit-or-miss topologyhyperspacepositive modal logicPriestley spaceVietoris space

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Modal logic and the Vietoris functor
• Vietoris hyperspaces over scattered Priestley spaces
• scientific article; zbMATH DE number 3929909
• A coalgebraic view on positive modal logic
• Modal compact Hausdorff spaces

Cites work

• A coalgebraic view on positive modal logic
• A Cook's tour of the finitary non-well-founded sets
• A Hausdorff Topology for the Closed Subsets of a Locally Compact Non-Hausdorff Space
• Abstract and concrete categories: the joy of cats
• Bitopological duality for distributive lattices and Heyting algebras
• Coalgebraic representations of distributive lattices with operators
• Continuous Lattices and Domains
• Distributive lattices with an operator
• Domain theory in logical form
• Duality for modal \(\mu\)-logics
• Free Modal Algebras: A Coalgebraic Perspective
• scientific article; zbMATH DE number 3887755 (Why is no real title available?)
• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 4212991 (Why is no real title available?)
• scientific article; zbMATH DE number 3929909 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3502485 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 4000978 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 7471716 (Why is no real title available?)
• Introduction to coalgebra. Towards mathematics of states and observation
• Modal logic and the Vietoris functor
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Positive modal logic
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Remarks on Priestley duality for distributive lattices
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Stably compact spaces
• Stone coalgebras
• The Priestley separation axiom for scattered spaces
• Topological representations of distributive lattices and Brouwerian logics
• Varieties of complex algebras

Cited in

(5)

• Remarks on Hyperspaces for Priestley Spaces
• Monoidal extended stone duality
• Extended Stone duality via monoidal adjunctions
• Duality for coalgebras for Vietoris and monadicity
• A coalgebraic view on positive modal logic

This page was built for publication: Remarks on hyperspaces for Priestley spaces

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