Finitely based congruence varieties
摘要
We show that for a large class of varieties of algebras, the equational theory of the congruence lattices of the members is not finitely based.