Bitopological duality for distributive lattices and Heyting algebras

DOI10.1017/S0960129509990302zbMath1193.06012OpenAlexW1983554661MaRDI 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)

Full work available at URL: https://doi.org/10.1017/s0960129509990302

zbMATH Keywords

Priestley spaceHeyting algebraStone spacebitopological spaceMcNeille completion

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50)

Related Items (27)

Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Unnamed Item ⋮ Topological representation of intuitionistic and distributive abstract logics ⋮ Funayama's theorem revisited ⋮ A non-commutative Priestley duality. ⋮ Entropy of a Pairwise Continuous Map in NWPC Bitopological Dynamical Systems ⋮ A frame-theoretic perspective on Esakia duality ⋮ Pervin spaces and Frith frames: bitopological aspects and completion ⋮ Remarks on hyperspaces for Priestley spaces ⋮ CHOICE-FREE STONE DUALITY ⋮ Ordered locales ⋮ Esakia style duality for implicative semilattices ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ B-frame duality ⋮ The intensional side of algebraic-topological representation theorems ⋮ Tarski's theorem on intuitionistic logic, for polyhedra ⋮ Hilbert algebras with Hilbert-Galois connections ⋮ Lattice subordinations and Priestley duality. ⋮ Bitopological duality for algebras of Fitting's logic and natural duality extension ⋮ The category of finitary biframes as the category of pointfree bispaces ⋮ Gödel algebras: interactive dualities and their applications. ⋮ Dualities for subresiduated lattices ⋮ 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 ⋮ The assembly of a pointfree bispace and its two variations ⋮ Easkia Duality and Its Extensions ⋮ Hofmann-Mislove through the lenses of Priestley

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

This page was built for publication: Bitopological duality for distributive lattices and Heyting algebras