Abstract
If\(\mathcal{K}\) is a variety of orthomodular lattices generated by a set of orthomodular lattices having a finite uniform upper bound om the length of their chains, then the MacNeille completion of every algebra in\(\mathcal{K}\) again belongs to\(\mathcal{K}\).
Similar content being viewed by others
References
D. H. Adams (1969) The completion by cuts of an orthocomplemented modular lattice,Bull. Austral. Math. Soc. 1, 279–280.
D. R. Balbes and P. Dwinger (1974)Distributive Lattices, University of Missouri Press.
B. Banaschewski (1956) Hullensysteme und Erweiterungen von Quasi-Ordnungen,Z. Math. Logik Grundl. Math. 2, 35–46.
G. Bruns, R. J. Greechie, J. Harding, and M. Roddy (1990) Completions of orthomodular lattices,Order 7, 67–76.
S. Burris and H. P. Sankappanavar (1981)A Course in Universal Algebra, Springer.
A. Carson (1989)Model Completions, Ring Representations and the Topology of the Pierce Sheaf, Pitman research notes in mathematics series 209.
S. D. Comer (1971) Representations by algebras of sections over Boolean spaces,Pacific J. of Math. 38, 29–38.
B. A. Davey (1973) Sheaf spaces and sheaves of universal algebras,Math. Zeit. 134, 275–290.
R. J. Greechie, private communication.
P. R. Halmos (1967)Lectures on Boolean Algebras, Van Nostrand.
J. Harding (1991) Orthomodular lattices whose MacNeille completions are not orthomodular,Order 8, 93–103.
J. Harding (1992) Irreducible orthomodular lattices which are simple,Algebra Universalis 29, 556–563.
J. Harding (1994) Any lattice can be embedded into the MacNeille completion of a distributive lattice (to appear inThe Houston Journal of Math.).
P. T. Johnstone (1982)Stone Spaces, Cambridge University Press.
B. Jónsson (1967) Algebras whose congruence lattices are distributive,Math. Scand. 21, 110–121.
G. Kalmbach (1983)Orthomodular Lattices, Academic Press.
A. Macintyre (1973) Model-completeness for sheaves of structures,Fund. Math. 81, 73–89.
M. D. MacLaren (1964) Atomic orthocomplemented lattices,Pac. J. Math. 14, 597–612.
H. M. MacNeille (1937) Partially ordered sets,Trans. AMS 42, 416–460.
R. S. Pierce (1967) Modules over commutative regular rings,Mem. Amer. Math. Soc. 70.
J. Schmidt (1956) Zur Kennzeichnung der Dedekind MacNeilleschen Hulle einer geordneten Menge,Archiv d. Math. 7, 241–149.
Author information
Authors and Affiliations
Additional information
Communicated by B. Jónsson
The author gratefully acknowledges the support of NSERC.
Rights and permissions
About this article
Cite this article
Harding, J. Completions of orthomodular lattices II. Order 10, 283–294 (1993). https://doi.org/10.1007/BF01110549
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01110549