On Baker’s finite basis theorem for congruence distributive varieties

Abstract

This paper contains the simplest, most direct proof of Baker’s Theorem to date together with an easy argument which shows how to find an exponential bound on the number of variables needed in a finite basis.