Bitopological duality for distributive lattices and Heyting algebras

DOI10.1017/S0960129509990302zbMath1193.06012MaRDI QIDQ3564341

Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, 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

Funayama's theorem revisited, A non-commutative Priestley duality., Esakia style duality for implicative semilattices, 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