Finite distributive lattices of quasivarieties (Q799718): Difference between revisions

The paper contains an answer to the question: Is it possible to represent every finite distributive lattice by a lattice of quasivarieties? The answer is: For any distributive lattice L there exists a finitely generated, locally finite quasivariety M of finite type such that the lattice L is isomorphic to the lattice \(L_ q(M)\) of all subvarieties of the quasivariety M. As a corollary we have: The elementary theory of the class of all distributive lattices is hereditarily unsolvable. The paper is devoted mainly to the proof of the main theorem. Moreover, in the last part the author presents one problem and some remarks and corollaries.