Bitopological duality for distributive lattices and Heyting algebras
From MaRDI portal
Publication:3564341
DOI10.1017/S0960129509990302zbMATH Open1193.06012OpenAlexW1983554661MaRDI QIDQ3564341FDOQ3564341
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
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
- Prime Ideal Structure in Commutative Rings
- Domain theory in logical form
- Duality and Equational Theory of Regular Languages
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Bitopological Spaces
- Ordered Topological Spaces and the Representation of Distributive Lattices
- The probabilistic powerdomain for stably compact spaces
- Stable Compactification I
- Stably compact spaces and closed relations
- Remarks on Priestley duality for distributive lattices
- Asymmetry and duality in topology
- Quasiorders and sublattices of distributive lattices
- The Frattini sublattice of a distributive lattice
- Priestley's duality from Stone's
Cited In (34)
- Hofmann-Mislove through the lenses of Priestley
- Characterization of metrizable Esakia spaces via some forbidden configurations
- Note on \(p_1\)-Lindelöf spaces which are not contra second countable spaces in bitopology
- Bi-intermediate logics of trees and co-trees
- Bitopological duality for algebras of Fitting's logic and natural duality extension
- The upper Vietoris topology on the space of inverse-closed subsets of a spectral space and applications
- Effective categoricity for distributive lattices and Heyting algebras
- Dualities for subresiduated lattices
- Entropy of a Pairwise Continuous Map in NWPC Bitopological Dynamical Systems
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics
- A frame-theoretic perspective on Esakia duality
- Lattice subordinations and Priestley duality.
- Esakia duality and its extensions
- Choice-free topological duality for implicative lattices and Heyting algebras
- Title not available (Why is that?)
- Distributive envelopes and topological duality for lattices via canonical extensions.
- The Zariski topology on sets of semistar operations without finite-type assumptions
- Remarks on hyperspaces for Priestley spaces
- Topological representation of intuitionistic and distributive abstract logics
- Pervin spaces and Frith frames: bitopological aspects and completion
- Gödel algebras: interactive dualities and their applications.
- Distribution algebras and duality
- B-frame duality
- The intensional side of algebraic-topological representation theorems
- Duality theory for enriched Priestley spaces
- Tarski's theorem on intuitionistic logic, for polyhedra
- Ordered locales
- Hilbert algebras with Hilbert-Galois connections
- The assembly of a pointfree bispace and its two variations
- Choice-free Stone duality
- The category of finitary biframes as the category of pointfree bispaces
- Esakia style duality for implicative semilattices
- Funayama's theorem revisited
- A non-commutative Priestley duality.
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)
