Bases of quasiidentities of finite distributive p-algebras (Q1119669)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bases of quasiidentities of finite distributive p-algebras |
scientific article |
Statements
Bases of quasiidentities of finite distributive p-algebras (English)
0 references
1987
0 references
A p-algebra \(<A;\vee,\wedge,*,0,1>\) is a distributive lattice \(<A;\vee,\wedge,0,1>\) with zero 0 and unit element 1, where * is pseudo- complementation. The author proves the following remarkable result: Every finite p-algebra with more than one element can be embedded in a finite p-algebra that has no finite bases for its quasi-identities.
0 references
pseudo-complementation
0 references
finite p-algebra
0 references
