Bitopological duality for distributive lattices and Heyting algebras
From MaRDI portal
(Redirected from Publication:3564341)
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
(40)- 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
- The category of finitary biframes as the category of pointfree bispaces
- Duality theory for enriched Priestley spaces
- The assembly of a pointfree bispace and its two variations
- Hofmann-Mislove through the lenses of Priestley
- Bitopological duality for algebras of Fitting's logic and natural duality extension
- Dualities for subresiduated lattices
- Characterization of metrizable Esakia spaces via some forbidden configurations
- Topological representation of intuitionistic and distributive abstract logics
- Effective categoricity for distributive lattices and Heyting algebras
- Lattice subordinations and Priestley duality.
- Remarks on hyperspaces for Priestley spaces
- B-frame duality
- The intensional side of algebraic-topological representation theorems
- Hilbert algebras with Hilbert-Galois connections
- scientific article; zbMATH DE number 3922722 (Why is no real title available?)
- Funayama's theorem revisited
- A non-commutative Priestley duality.
- Distributive envelopes and topological duality for lattices via canonical extensions.
- Gödel algebras: interactive dualities and their applications.
- Choice-free Stone duality
- Note on p₁-Lindelöf spaces which are not contra second countable spaces in bitopology
- Esakia duality and its extensions
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics
- Distribution algebras and 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
- Ordered locales
- Choice-free topological duality for implicative lattices and Heyting algebras
- Bi-intermediate logics of trees and co-trees
- D-Boolean algebras and their bitopological representation
- A Boolean-valued space approach to separation axioms and sobriety of bitopological spaces
- Dedekind-MacNeille and related completions: subfitness, regularity, and Booleanness
- On a generalization of Heyting algebras. I
- Local tabularity is decidable for bi-intermediate logics of trees and of co-trees
- The L-algebras related to prime spectra of Bézout domains and abelian -groups
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)
