Abstract
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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Banaschewski, B., Bruns, G.: Categorical characterization of the MacNeille completion. Arch. Math. 18, 369–377 (1967)
Bezhanishvili, G., Bezhanishvili, N.: Profinite Heyting algebras. Order 25, 211–227 (2008). http://www.cs.le.ac.uk/people/nb118/Publications/Bezh-Bezh-final.pdf
Bezhanishvili, G., Gehrke, M., Mines, R., Morandi, P.J.: Profinite completions and canonical extensions of Heyting algebras. Order 23, 143–161 (2006)
Bezhanishvili, N.: Lattices of intermediate and cylindric modal logics. PhD thesis, University of Amsterdam (2006)
Erné, M.: Bigeneration in complete lattices and principal separation in ordered sets. Order 8(2), 197–221 (1991)
Erné, M.: The Dedekind-MacNeille completion as a reflector. Order 8(2), 159–173 (1991)
Esakia, L.L.: Topological Kripke models. Sov. Math., Dokl. 15, 147–151 (1974)
Gehrke, M., Harding, J.: Bounded lattice expansions. J. Algebra 239, 345–371 (2001)
Gehrke, M., Harding, J., Venema, Y.: MacNeille completions and canonical extensions. Trans. Am. Math. Soc. 358, 573–590 (2006)
Gehrke, M., Jónsson, B.: Bounded distributive lattices with operators. Math. Jpn. 2, 207–215 (1994)
Goldblatt, R.: Varieties of complex algebras. Ann. Pure Appl. Logic 44, 173–242 (1989)
Harding, J.: On profinite completions and canonical extensions. Algebra Univers. 55, 293–296 (2006)
Harding, J., Bezhanishvili, G.: MacNeille completions of Heyting algebras. Houst. J. Math. 30, 937–952 (2004)
Jónsson, B., Tarski, A.: Boolean algebras with operators. Part I. Am. J. Math. 73, 891–939 (1951)
McKenzie, R.: Equational bases and nonmodular lattice varieties. Trans. Am. Math. Soc. 174, 1–43 (1972)
Ono, H.: Algebraic semantics for predicate logics and their completeness. In: Logic at work. Stud. Fuzziness Soft Comput., vol. 24, pp. 637–650. Physica, Heidelberg (1999)
Ono, H.: Completions of algebras and completeness of modal and substructural logics. In: Advances in modal logic, vol. 4, pp. 335–353. King’s Coll. Publ., London (2003)
Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. Lond. Math. Soc. 2, 186–190 (1970)
Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. Monografie Matematyczne, Tom 41. Państwowe Wydawnictwo Naukowe, Warsaw (1963)
Vosmaer, J.: MacNeille completion and profinite completion can coincide on finitely generated modal algebras. Algebra Univers. (2008, in press)
Whitman, P.M.: Splittings of a lattice. Am. J. Math. 65, 179–196 (1943)
Author information
Authors and Affiliations
Corresponding author
Additional information
The second author was supported by VICI grant 639.073.501 of the Netherlands Organization for Scientific Research (NWO).
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Bezhanishvili, G., Vosmaer, J. Comparison of MacNeille, Canonical, and Profinite Completions. Order 25, 299–320 (2008). https://doi.org/10.1007/s11083-008-9095-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-008-9095-3