Boolean topological distributive lattices and canonical extensions

DOI10.1007/s10485-007-9090-7zbMath1122.06004OpenAlexW2054873321MaRDI QIDQ2643609

Brian A. Davey, Miroslav Haviar, Hilary A. Priestley

Publication date: 27 August 2007

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-007-9090-7

zbMATH Keywords

Priestley dualityCanonical extensionProfinite completionTopological lattice

Mathematics Subject Classification ID

Structure and representation theory of distributive lattices (06D05) Lattices and duality (06D50) Topological lattices (06B30)

Related Items (11)

Natural dualities for three classes of relational structures ⋮ Natural dualities in partnership ⋮ A fresh perspective on canonical extensions for bounded lattices. ⋮ Dualisability of partial unars ⋮ Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras ⋮ Natural extensions and profinite completions of algebras ⋮ Intervals of the Muchnik lattice ⋮ TiRS graphs and TiRS frames: a new setting for duals of canonical extensions ⋮ A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras ⋮ Bohr compactifications of algebras and structures ⋮ Canonical extensions and ultraproducts of polarities

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Sahlqvist theorem for distributive modal logic
• The Priestley duality for Wajsberg algebras
• A dual adjointness on partially ordered topological spaces
• Profinite completions and canonical extensions of Heyting algebras
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
• Bigeneration in complete lattices and principal separation in ordered sets
• General Stone duality.
• Completeness theorems via the double dual functor
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
• Maps and monads for modal frames
• Duality for double quasioperator algebras via their canonical extensions
• Standard topological algebras: syntactic and principal congruences and profiniteness
• Varieties of complex algebras
• Theorems on Compact Totally Disconnected Semigroups and Lattices
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Continuous Lattices and Domains
• Bounded distributive lattice expansions
• Topological Lattices
• Canonical extensions and relational completeness of some substructural logics
• Boolean Algebras with Operators. Part I
• Completely Distributive Complete Lattices
• A Subdirect-Union Representation for Completely Distributive Complete Lattices
• A characterization of ΣΔ-rings of subsets
• Bounded lattice expansions

This page was built for publication: Boolean topological distributive lattices and canonical extensions