Decidability of weak equational theories
Decomposability conditions for compatible relations
Decompositions of a -algebra.
Definability of principal congruences in equivalential algebras
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 decomposability of congruences in congruence-permutable varieties
Directly decomposable congruences in varieties with nullary operations
Distributed families of varieties of algebras