Congruence meet-semidistributive locally finite varieties and a finite basis theorem

摘要

We provide several conditions that, among locally finite varieties, characterize congruence meet-semidistributivity and we use these conditions to give a new proof of a finite basis theorem published by Baker, McNulty, and Wang in 2004. This finite basis theorem extends Willard's Finite Basis Theorem.