Article
Keywords:
loop; diassociativity; equational basis
Summary:
We show that the variety of diassociative loops is not finitely based even relative to power associative loops with inverse property.
References:
[3] Chang C.C., Keisler H.J.:
Model Theory. Studies in Logic and the Foundations of Mathematics, vol. 73, 3rd edition, North-Holland, Amsterdam, 1990.
MR 1059055 |
Zbl 0697.03022