Q-universal varieties of bounded lattices

A quasivariety K of algebraic systems of finite type is said to be Q-universal if, for any quasivariety M of finite type, L(M) is a homomorphic image of a sublattice of L(K), where L(M) and L(K) are the lattices of quasivarieties contained in M and K, respectively.? It is known that, for every variety K of (0, 1)-lattices, if K contains a finite nondistributive simple (0, 1)-lattice, then K is Q-universal, see [3]. The opposite implication is obviously true within varieties of modular (0, 1)-lattices. This paper shows that in general the opposite implication is not true. A family (A _i : i < 2ω) of locally finite varieties of (0, 1)-lattices is exhibited each of which contains no simple non-distributive (0, 1)-lattice and each of which is Q-universal. Received July 19, 2001; accepted in final form July 11, 2002.