Definable Ultrapowers and the Omitting Types Theorem
Diassociativity is not finitely based relative to power associativity
We show that the variety of diassociative loops is not finitely based even relative to power associative loops with inverse property.
Direct multiples and powers of modules