Finite distributive lattices of quasivarieties (Q799718): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:15, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite distributive lattices of quasivarieties |
scientific article |
Statements
Finite distributive lattices of quasivarieties (English)
0 references
1983
0 references
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.
0 references
finite distributive lattice
0 references
lattice of quasivarieties
0 references
locally finite quasivariety
0 references
elementary theory
0 references
hereditarily unsolvable
0 references