Natural extensions and profinite completions of algebras
From MaRDI portal
Publication:651385
DOI10.1007/s00012-011-0155-yzbMath1232.08006MaRDI QIDQ651385
Brian A. Davey, Miroslav Haviar, Hilary A. Priestley, Maria João Gouveia
Publication date: 13 December 2011
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-011-0155-y
06D50: Lattices and duality
18A30: Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)
08C15: Quasivarieties
08B25: Products, amalgamated products, and other kinds of limits and colimits
08C20: Natural dualities for classes of algebras
Related Items
Piggyback dualities revisited, Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras, A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras, Natural dualities in partnership, Bohr compactifications of algebras and structures, Canonical extensions and profinite completions of semilattices and lattices
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Flat unars: the primal, the semi-primal and the dualisable
- A note on profinite completions and canonical extensions
- Multisorted dualisability: change of base
- Monotone clones and the varieties they determine
- Locally finite varieties of Heyting algebras
- On profinite completions and canonical extensions
- Residuated lattices. An algebraic glimpse at substructural logics
- Dualisability versus residual character: a theorem and a counterexample
- Monotone clones and congruence modularity
- The axiomatizability of topological prevarieties
- Lee classes and sentences for pseudo-complemented semilattices
- Affine complete varieties
- The number of subdirectly irreducible algebras in a variety. II
- Residually small varieties of semigroups
- The number of subdirectly irreducible algebras in a variety
- Near unanimity identities and congruence distributivity in equational classes
- Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
- Finitely generated free modular ortholattices. I
- Semisimplicity, EDPC and discriminator varieties of residuated lattices
- Locally finite varieties.
- On the structure of varieties with equationally definable principal congruences. I
- Monotone Jónsson operations and near unanimity functions
- Congruence lattices of semilattices
- Near unanimity: An obstacle to general duality theory
- Cardinality bounds for subdirectly irreducible algebras
- Affine complete varieties are congruence distributive
- Pretabular superintuitionistic logic
- Semisimple varieties of modal algebras
- Natural dualities for semilattice-based algebras
- Equational classes generated by finite algebras
- Implication algebras are 3-permutable and 3-distributive
- Residually small varieties
- Dualisability. Unary algebras and beyond
- Natural dualities for varieties of BL-algebras
- Standard topological algebras: syntactic and principal congruences and profiniteness
- Boolean topological distributive lattices and canonical extensions
- DUALISABILITY OF FINITE SEMIGROUPS
- Theorems on Compact Totally Disconnected Semigroups and Lattices
- Monotone clones, residual smallness and congruence distributivity
- Principal Congruences of Pseudocomplemented Semilattices and Congruence Extension Property
- Residually Small Varieties with Modular Congruence Lattices
- The structure of finite algebras
- Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound
- Strong duality for metacyclic groups
- Bounded distributive lattice expansions
- The syntax and semantics of entailment in duality theory
- THE RESIDUAL BOUNDS OF FINITE ALGEBRAS
- The shape of congruence lattices
- Congruence Relations in Semi-Lattices
- VARIETIES OF FINITELY APPROXIMABLE GROUPS
- Natural dualities for varieties of MV-algebras. I
- Bounded lattice expansions
- Dualisability of \(p\)-semilattices
