Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound

摘要

We show that a residually finite, congruence meet-semidistributive variety of finite type is residually < N for some finite N. This solves Pixley's problem and a special case of the restricted Quackenbush problem.