×

Diassociativity is not finitely based relative to power associativity. (English) Zbl 1224.08005

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