Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras
From MaRDI portal
Publication:454393
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
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