Another proof that \(ISP_ r(K)\) is the least quasivariety containing K (Q795076): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q587143 |
||
Property / reviewed by | |||
Property / reviewed by: Raffaella Franci / rank | |||
Revision as of 18:31, 16 February 2024
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