Comparison of MacNeille, Canonical, and Profinite Completions

摘要

Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and profinite completions of distributive lattices, Heyting algebras, and Boolean algebras to be isomorphic.