PRIMITIVE POSITIVE FORMULAS PREVENTING A FINITE BASIS OF QUASI-EQUATIONS
2009 ◽
Vol 19
(07)
◽
pp. 925-935
◽
Keyword(s):
A finite unary algebra with a primitive positive formula that defines the graph of a finite group operation does not have a finite basis for its quasi-equations.
1992 ◽
Vol 02
(01)
◽
pp. 103-116
Keyword(s):
2020 ◽
Vol 9
(10)
◽
pp. 8869-8881
1993 ◽
Vol 42
(3)
◽
pp. 362-368
Keyword(s):