Remarks on hyperspaces for Priestley spaces

DOI10.1016/j.tcs.2022.12.001OpenAlexW4313397543MaRDI QIDQ2680995

Guram Bezhanishvili, Patrick J. Morandi, John Harding

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

hyperspacecoalgebradistributive latticePriestley spacepositive modal logichit-or-miss topologyVietoris space

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stone coalgebras
• A coalgebraic view on positive modal logic
• Coalgebraic representations of distributive lattices with operators
• Duality for modal \(\mu\)-logics
• Domain theory in logical form
• Remarks on Priestley duality for distributive lattices
• The Priestley separation axiom for scattered spaces
• Positive modal logic
• Distributive lattices with an operator
• Varieties of complex algebras
• Introduction to Coalgebra
• A Cook's Tour of the Finitary Non-Well-Founded Sets
• Stably compact spaces
• A Hausdorff Topology for the Closed Subsets of a Locally Compact Non-Hausdorff Space
• Bitopological duality for distributive lattices and Heyting algebras
• Free Modal Algebras: A Coalgebraic Perspective
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Continuous Lattices and Domains
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Modal Logic and the Vietoris Functor
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Topological representations of distributive lattices and Brouwerian logics

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