On Baker’s finite basis theorem for congruence distributive varieties

Burris, Stanley

doi:10.1090/S0002-9939-1979-0516452-1

On Baker’s finite basis theorem for congruence distributive varieties
HTML articles powered by AMS MathViewer

by Stanley Burris PDF

Proc. Amer. Math. Soc. 73 (1979), 141-148 Request permission

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.

References

Equational bases for finite algebras

19

Kirby A. Baker, Finite equational bases for finite algebras in a congruence-distributive equational class, Advances in Math. 24 (1977), no. 3, 207–243. MR 447074, DOI 10.1016/0001-8708(77)90056-1
Stanley Burris, An example concerning definable principal congruences, Algebra Universalis 7 (1977), no. 3, 403–404. MR 441822, DOI 10.1007/BF02485448
C. Herrmann, Weak (projective) radius and finite equational bases for classes of lattices, Algebra Universalis 3 (1973), 51–58. MR 329983, DOI 10.1007/BF02945103
Bjarni Jónsson, Algebras whose congruence lattices are distributive, Math. Scand. 21 (1967), 110–121 (1968). MR 237402, DOI 10.7146/math.scand.a-10850

A short proof of Baker’s Theorem

M. Makkai, A proof of Baker’s finite-base theorem on equational classes generated by finite elements of congruence distributive varieties, Algebra Universalis 3 (1973), 174–181. MR 351956, DOI 10.1007/BF02945118
Ralph McKenzie, Equational bases for lattice theories, Math. Scand. 27 (1970), 24–38. MR 274353, DOI 10.7146/math.scand.a-10984
Ralph McKenzie, Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties, Algebra Universalis 8 (1978), no. 3, 336–348. MR 469853, DOI 10.1007/BF02485404
Walter Taylor, Baker’s finite basis theorem, Algebra Universalis 8 (1978), no. 2, 191–196. MR 476607, DOI 10.1007/BF02485388