Finite lattices as relative congruence lattices of finite algebras (Q2474098)

Let \({\mathcal Q}\) be a quasivariety, \({\mathcal L}\) a finite lattice and \({\mathcal A}\) a finite algebra of the same type as \({\mathcal Q}\). Sufficient conditions are provided which guarantee the existence of a locally finite (finitely closed) quasivariety \({\mathcal R}\) such that \({\mathcal L}\) is isomorphic to the lattice of all congruences \(\Theta\) on \({\mathcal A}\) satisfying \({\mathcal A}/\Theta\in{\mathcal R}\).