Another proof that \(ISP_ r(K)\) is the least quasivariety containing K (Q795076)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Another proof that \(ISP_ r(K)\) is the least quasivariety containing K |
scientific article; zbMATH DE number 3861232
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Another proof that \(ISP_ r(K)\) is the least quasivariety containing K |
scientific article; zbMATH DE number 3861232 |
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
0.8212832
0 references
0.81415784
0 references
0.8126913
0 references
0.8030694
0 references
0.8029952
0 references
0.79878783
0 references
0.79760385
0 references
