Bitopological duality for distributive lattices and Heyting algebras

DOI10.1017/S0960129509990302MaRDI QIDQ3564341zbMATH OpenOpenAlexFDO

Authors 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)

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

zbMATH Keywords

bitopological spacePriestley spaceStone spaceHeyting algebraMcNeille completion

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3922722
• Distributive envelopes and topological duality for lattices via canonical extensions.
• Priestley's duality from Stone's
• Lattice subordinations and Priestley duality.
• Topological duality and lattice expansions. I: A topological construction of canonical extensions.

Cites work

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

Cited in

(34)

• Bitopological duality for algebras of Fitting's logic and natural duality extension
• Distributive envelopes and topological duality for lattices via canonical extensions.
• A frame-theoretic perspective on Esakia duality
• Tarski's theorem on intuitionistic logic, for polyhedra
• Choice-free Stone duality
• Choice-free topological duality for implicative lattices and Heyting algebras
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Characterization of metrizable Esakia spaces via some forbidden configurations
• Distribution algebras and duality
• scientific article; zbMATH DE number 3922722 (Why is no real title available?)
• Topological representation of intuitionistic and distributive abstract logics
• The assembly of a pointfree bispace and its two variations
• Ordered locales
• B-frame duality
• Gödel algebras: interactive dualities and their applications.
• Duality theory for enriched Priestley spaces
• The category of finitary biframes as the category of pointfree bispaces
• Lattice subordinations and Priestley duality.
• Esakia style duality for implicative semilattices
• Funayama's theorem revisited
• Effective categoricity for distributive lattices and Heyting algebras
• Bi-intermediate logics of trees and co-trees
• Entropy of a Pairwise Continuous Map in NWPC Bitopological Dynamical Systems
• Pervin spaces and Frith frames: bitopological aspects and completion
• Note on \(p_1\)-Lindelöf spaces which are not contra second countable spaces in bitopology
• Hilbert algebras with Hilbert-Galois connections
• Dualities for subresiduated lattices
• Esakia duality and its extensions
• The Zariski topology on sets of semistar operations without finite-type assumptions
• Remarks on hyperspaces for Priestley spaces
• Hofmann-Mislove through the lenses of Priestley
• A non-commutative Priestley duality.
• The upper Vietoris topology on the space of inverse-closed subsets of a spectral space and applications
• The intensional side of algebraic-topological representation theorems

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

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