Bases of quasiidentities of finite distributive p-algebras
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.
scientific article; zbMATH DE number 4097444