Orthomodular lattices whose MacNeille completions are not orthomodular (Q1182045)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Orthomodular lattices whose MacNeille completions are not orthomodular |
scientific article; zbMATH DE number 29319
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Orthomodular lattices whose MacNeille completions are not orthomodular |
scientific article; zbMATH DE number 29319 |
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
