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
-
K. Baker, Equational bases for finite algebras, Notices Amer. Math. Soc. 19 (1972), p. A-44, Abstract #691-08-2.
- 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 (preprint).
- 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
Additional Information
- © Copyright 1979 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 73 (1979), 141-148
- MSC: Primary 08B10
- DOI: https://doi.org/10.1090/S0002-9939-1979-0516452-1
- MathSciNet review: 516452