
doi: 10.1007/bf01978665
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.
finite distributive lattice, Free lattices, projective lattices, word problems, elementary theory, Lattices of varieties, Structure and representation theory of distributive lattices, lattice of quasivarieties, locally finite quasivariety, hereditarily unsolvable, Quasivarieties
finite distributive lattice, Free lattices, projective lattices, word problems, elementary theory, Lattices of varieties, Structure and representation theory of distributive lattices, lattice of quasivarieties, locally finite quasivariety, hereditarily unsolvable, Quasivarieties
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 11 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
