Kowalski, T. Diassociativity is not finitely based relative to power associativity. (English) Zbl 1224.08005 Commentat. Math. Univ. Carol. 51, No. 2, 305-317 (2010). Summary: We show that the variety of diassociative loops is not finitely based even relative to power associative loops with inverse property. MSC: 08B05 Equational logic, Mal’tsev conditions 03C05 Equational classes, universal algebra in model theory Keywords:loop; diassociativity; equational basis × Cite Format Result Cite Review PDF Full Text: EuDML EMIS