Orthomodular lattices whose MacNeille completions are not orthomodular (Q1182045)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Orthomodular lattices whose MacNeille completions are not orthomodular |
scientific article |
Statements
Orthomodular lattices whose MacNeille completions are not orthomodular (English)
0 references
27 June 1992
0 references
In this paper it is shown that in the variety generated by the finite orthomodular lattices there is an orthomodular lattice whose MacNeille completion is not orthomodular. The construction uses a method of the reviewer, for which further properties are shown.
0 references
orthomodular lattices
0 references
MacNeille completion
0 references
