Natural extensions and profinite completions of algebras

DOI10.1007/s00012-011-0155-yzbMath1232.08006MaRDI QIDQ651385

Hilary A. Priestley, Brian A. Davey, Miroslav Haviar, 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

zbMATH Keywords

residually finite; natural extension; profinite completion; canonical extension

Mathematics Subject Classification ID

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

Profinite completions and MacNeille completions of finitely presented MV-algebras, On selected developments in the theory of natural dualities, 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, Extending maps to profinite completions in finitely generated quasivarieties, 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