A finite basis theorem for residually finite, congruence meet-semidistributive varieties

Ross Willard

We derive a Mal'cev condition for congruence meet-semidistributivity and then use it to prove two theorems. Theorem A: if a variety in a finite language is congruence meet-semidist…