Equational compactness of bi-frames and projection algebras (Q1894552)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 780794
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Equational compactness of bi-frames and projection algebras |
scientific article; zbMATH DE number 780794 |
Statements
Equational compactness of bi-frames and projection algebras (English)
0 references
30 January 1996
0 references
A bi-frame is a complete lattice which is meet- and join-continuous. In 1972 D. Kelly showed that every bi-frame is 1-variable equationally compact and K. A. Nauryzbaev extended in 1986 Kelly's result to 2 variables. The present author presents a bi-frame that is not 3-variable countably equationally compact. This is a counterexample to G. Grätzer's conjecture that a distributive lattice is equationally compact iff it is a bi-frame. Bi-frames are treated in a more general axiomatic context of so-called projection algebras, which are distributive lattices with two additional unary operations and generalize monadic algebras.
0 references
bi-frame
0 references
projection algebras
0 references
distributive lattices
0 references
monadic algebras
0 references
0.7291582822799683
0 references
0.6972139477729797
0 references
