3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Ralph Freese, Paolo Lipparini
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.