Products of finitely based varieties of Brouwerian semilattices (Q797602): Difference between revisions

The paper is concerned with the problem whether the finitely based subvarieties form a subsemigroup of the semigroup of varieties of Brouwerian semilattices. The main theorem of this paper claims that if U and V are two finitely based subvarieties of Brouwerian semilattices then the product variety \(U\circ V\) is finitely based too. Although the proof is not constructive it is elegant and uses the fact that a variety V of Brouwerian semilattices is finitely based iff there exist up to isomorphism only finitely many V-critical Brouwerian semilattices.