REFERENCES
- Freese , R. , McKenzie , R. ( 1981 ). Residually small varieties with modular congruence lattices . Trans. Amer. Math. Soc. 264 : 419 – 430 .
- Freese , R. , McKenzie , R. ( 1987 ). Commutator Theory for Congruence Modular Varieties . London Mathematical Society Lecture Note Series , 125. Cambridge : Cambridge University Press .
- Hobby , D. , McKenzie , R. ( 1988 ). The Structure of Finite Algebras . Contemporary Mathematics , 76. Providence, RI : American Mathematical Society .
- Jacobson , N. ( 1952 ). A note on Lie algebras of characteristic p. Amer. J. Math. 74 : 357 – 359 .
- Kearnes , K. A. (1991). Residual bounds for varieties of modules. Algebra Universalis 28:448–452.
- Kearnes , K. A. ( 1999 ). A characterization of locally finite varieties that satisfy a nontrivial congruence identity . Algebra Universalis 42 : 195 – 204 .
- Kearnes , K. A. , Willard , R. ( 1999 ). Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound . Proc. Amer. Math. Soc. 127 : 2841 – 2850 .
- McKenzie , R. ( 1996 ). The residual bound of a finite algebra is not computable . Internat. J. Algebra Comput. 6 : 29 – 48 .
- McKenzie , R. ( 2000 ). Recursive inseparability for residual bounds of finite algebras . J. Symbolic Logic 65 : 1863 – 1880 .
- McKenzie , R. N. , McNulty , G. F. , Taylor , W. F. ( 1987 ). Algebras, Lattices, Varieties , Vol. I . The Wadsworth & Brooks/Cole Mathematics Series . Monterey , CA : Wadsworth & Brooks/Cole Advanced Books & Software .
- Olshanskii , A. Ju. ( 1969 ). Varieties of finitely approximable groups . (Russian) Izv. Akad. Nauk SSSR Ser. Mat. 33 : 915 – 927 .
- Premet , A. A. , Semenov , K. N. ( 1988 ). Varieties of residually finite Lie algebras. (Russian) Mat. Sb. (N.S.) 137 : 103 – 113 , 144; Translation in Math. USSR-Sb . 65 : 109 – 118 .
- Zamyatin , A. P. ( 1987 ). Varieties with Restrictions on the Congruence Lattice . (Russian) Svedlovsk, Ural State University .
- Communicated by A. Olshanskii.