Comparison of MacNeille, canonical, and profinite completions

DOI10.1007/S11083-008-9095-3MaRDI QIDQ1013989zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili, Jacob Vosmaer

Publication date 24 April 2009

Published in Order (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s11083-008-9095-3

zbMATH Keywords

canonical completionduality theoryMacNeille completionprofinite completion

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Structure theory of Boolean algebras (06E05)

Review text

In this paper, the authors are interested in the conditions under which different completions of distributive lattices and related algebras are isomorphic. They are mostly concerned with the following three completions: MacNeille completion, the canonical completion and the profinite completion. Also, they prove main results about the isomorphism of the three completitions for Heyting algebras and discuss consequences of these results for the case of Boolean algebras. Finally they briefly discuss extensions of his results to more general settings.

Recommendations

• Profinite completions and canonical extensions of semilattice reducts of distributive lattices.
• MacNeille completion and profinite completion can coincide on finitely generated modal algebras
• Profinite completions and canonical extensions of Heyting algebras
• Profinite Heyting algebras and profinite completions of Heyting algebras
• scientific article; zbMATH DE number 1453805

Cites work

• Bigeneration in complete lattices and principal separation in ordered sets
• Boolean Algebras with Operators. Part I
• Bounded lattice expansions
• Categorial characterization of the MacNeille completion
• Equational Bases and Nonmodular Lattice Varieties
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 1303458 (Why is no real title available?)
• scientific article; zbMATH DE number 697070 (Why is no real title available?)
• scientific article; zbMATH DE number 2138212 (Why is no real title available?)
• scientific article; zbMATH DE number 2196598 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• MacNeille completion and profinite completion can coincide on finitely generated modal algebras
• MacNeille completions and canonical extensions
• On profinite completions and canonical extensions
• Profinite completions and canonical extensions of Heyting algebras
• Profinite Heyting algebras
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Splittings of a Lattice
• The Dedekind-MacNeille completion as a reflector
• Varieties of complex algebras

Cited in

(7)

• MacNeille completion and profinite completion can coincide on finitely generated modal algebras
• Representations of Sheffer stroke algebras and Visser algebras
• Profinite Heyting algebras and profinite completions of Heyting algebras
• Funayama's theorem revisited
• scientific article; zbMATH DE number 2138212 (Why is no real title available?)
• Profinite completions and MacNeille completions of finitely presented MV-algebras
• MacNeille completions and canonical extensions

This page was built for publication: Comparison of MacNeille, canonical, and profinite completions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1013989)