Abstract
If K is a variety of orthomodular lattices generated by a finite orthomodular lattice the MacNeille completion of every algebra in K again belongs to K.
Similar content being viewed by others
References
D. H.Adams, The completion by cuts of an orthocomplemented modular lattice, Bull. Austral. Math. Soc. 1 (1969), 279–280.
I.Amemiya and H.Araki, A remark on Piron's paper. Publ. Res. Inst. Math. Sci. Ser. A2 (1966), 423–427.
B.Banaschewski, Hüllensysteme und Erweiterungen von Quasi-Ordnungen, Z. Math. Logik Grundl. Math. 2 (1956), 35–46.
B. Banaschewski and E. Nelson, Boolean powers as algebras of continuous functions, Dissertationes Math., 179, Warsaw (1980).
S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer (1981).
N.Funayama, On the completion by cuts of a distributive lattice, Proc. Imp. Acad. Tokyo 20 (1944), 1–2.
G. Grätzer, General Lattice Theory, Academic Press (1978).
P. R. Halmos, Lectures on Boolean Algebras, Van Nostrand (1967).
M. F.Janowitz, Indexed orthomodular lattices, Math. Z. 119 (1971), 28–32.
B.Jónsson, Algebras whose congruence lattices are distributive, Math. Scand. 21 (1967), 110–121.
G. Kalmbach, Orthomodular Lattices, Academic Press (1983).
M. D.MacLaren, Atomic orthocomplemented lattices, Pac. J. Math. 14 (1964), 597–612.
H. M.MacNeille, Partially ordered sets, Trans. AMS 42 (1937), 416–460.
C.Piron, Axiomatique Quantique, Helv. Phys. Acta 37 (1964), 439–468.
J.Schmidt, Zur Kennzeichnung der Dedekind-MacNeilleschen Hülle einer geordneten Menge, Arch. Math (Basel) 7 (1956), 241–249.
Author information
Authors and Affiliations
Additional information
Communicated by I. Rival
Rights and permissions
About this article
Cite this article
Bruns, G., Greechie, R., Harding, J. et al. Completions of orthomodular lattices. Order 7, 67–76 (1990). https://doi.org/10.1007/BF00383174
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00383174