Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras

DOI10.1007/s11225-012-9392-0zbMath1258.08005OpenAlexW2010109167MaRDI QIDQ454393

Hilary A. Priestley, Brian A. Davey

Publication date: 1 October 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9392-0

zbMATH Keywords

natural dualityinterval topologynatural extensiontopological algebracanonical extension

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Topological lattices, etc. (topological aspects) (54H12) Natural dualities for classes of algebras (08C20)

Related Items

Algebraic properties of soluble posets ⋮ New perspectives on semi-primal varieties ⋮ 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
• A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras
• A note on profinite completions and canonical extensions
• Natural extensions and profinite completions of algebras
• Catalytic distributive lattices and compact zero-dimensional topological lattices
• On profinite completions and canonical extensions
• Profinite completions and canonical extensions of Heyting algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• The axiomatizability of topological prevarieties
• Topologies on products of partially ordered sets. I: Interval topologies
• A generalization of the duality compactness theorem
• Natural dualities in partnership
• Infinite distributive laws versus local connectedness and compactness properties
• Standard topological algebras: syntactic and principal congruences and profiniteness
• Full does not imply strong, does it?
• Boolean topological distributive lattices and canonical extensions
• A View of Canonical Extension
• Priestley Spaces
• Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound
• Continuous Lattices and Domains
• Bounded distributive lattice expansions
• Profinite posets
• Boolean Algebras with Operators. Part I
• Bounded lattice expansions