Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound
Keith A. Kearnes, Ross Willard · Proceedings of the American Mathematical Society · 1999
We show that a residually finite, congruence meet-semidistributive variety of finite type is residually > N > N for some finite N N . This solves Pixley’s problem and a special case of the restricted Quackenbush problem.