Equational compactness of bi-frames and projection algebras (Q1894552)

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.