Finite atomistic lattices that can be represented as lattices of quasivarieties
Kira Adaricheva, Wiesław Dziobiak, В. А. Горбунов · Fundamenta Mathematicae · 1993
We prove that a finite atomistic lattice can be represented as a lattice of quasivarieties if and only if it is isomorphic to the lattice of all subsemilattices of a finite semilattice. This settles a conjecture that appeared in the context of [11].