Another proof that \(ISP_ r(K)\) is the least quasivariety containing K (Q795076)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Another proof that \(ISP_ r(K)\) is the least quasivariety containing K |
scientific article |
Statements
Another proof that \(ISP_ r(K)\) is the least quasivariety containing K (English)
0 references
1982
0 references
It is well-known that if q(K) denotes the least quasi-variety containing a given class of similar algebras then \(q(K)=ISP_ r(K)\quad or\quad q(K)=ISPP_ U(K).\) The former result was proved by Mal'cev in 1966, the latter by Grätzer and Lasker in 1973. The authors give a new proof of these results with a method borrowed from propositional logic.
0 references
structure of quasivarieties
0 references