On Baker’s finite basis theorem for congruence distributive varieties
- 1 February 1979
- journal article
- Published by American Mathematical Society (AMS) in Proceedings of the American Mathematical Society
- Vol. 73 (2) , 141-148
- https://doi.org/10.1090/s0002-9939-1979-0516452-1
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.Keywords
This publication has 8 references indexed in Scilit:
- Baker's finite basis theoremAlgebra universalis, 1978
- Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varietiesAlgebra universalis, 1978
- An example concerning definable principal congruencesAlgebra universalis, 1977
- Finite equational bases for finite algebras in a congruence-distributive equational classAdvances in Mathematics, 1977
- A proof of Baker’s finite-base theorem on equational classes generated by finite elements of congruence distributive varietiesAlgebra universalis, 1973
- Weak (projective) radius and finite equational bases for classes of latticesAlgebra universalis, 1973
- Equational Bases for Lattice Theories.MATHEMATICA SCANDINAVICA, 1970
- Algebras Whose Congruence Lattices are Distributive.MATHEMATICA SCANDINAVICA, 1967