Bitopological duality for distributive lattices and Heyting algebras

DOI10.1017/S0960129509990302zbMath1193.06012MaRDI QIDQ3564341

David Gabelaia, Guram Bezhanishvili, Nick Bezhanishvili, Alexander Kurz

Publication date: 2 June 2010

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Priestley space; Heyting algebra; Stone space; bitopological space; McNeille completion

Mathematics Subject Classification ID

06D20: Heyting algebras (lattice-theoretic aspects)

06D50: Lattices and duality

Related Items

Unnamed Item, CHOICE-FREE STONE DUALITY, Easkia Duality and Its Extensions, Funayama's theorem revisited, A non-commutative Priestley duality., Gödel algebras: interactive dualities and their applications., Tarski's theorem on intuitionistic logic, for polyhedra, The Zariski topology on sets of semistar operations without finite-type assumptions, The upper Vietoris topology on the space of inverse-closed subsets of a spectral space and applications, Esakia style duality for implicative semilattices, Topological representation of intuitionistic and distributive abstract logics, Lattice subordinations and Priestley duality.

Cites Work

• The probabilistic powerdomain for stably compact spaces
• Domain theory in logical form
• Remarks on Priestley duality for distributive lattices
• Quasiorders and sublattices of distributive lattices
• The Frattini sublattice of a distributive lattice
• Asymmetry and duality in topology
• Bitopological Spaces
• Duality and Equational Theory of Regular Languages
• Stable Compactification I
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Stably Compact Spaces and Closed Relations
• Prime Ideal Structure in Commutative Rings
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Priestley's duality from Stone's