References
Baker, K.,Finite equational bases for finite algebras in congruence distributive varieties. Advances in Mathematics24 (1977), 207–243.
Baker, K., Mcnulty, G. andWerner, H.,Shift-automorphism methods for inherently nonfinitely based varieties of algebras. Czechoslovak Math. J.39 (1989), 53–69.
Burris, S. andSankappanavar, H. P.,A Course in Universal Algebra, Springer-Verlag, New York, 1981.
Freese R. andMcKenzie, R.,Residually small varieties with modular congruence lattices. Trans. Amer. Math. Soc.264 (1981), 419–430.
Grätzer, G.,Universal Algebra, second edition, Springer-Verlag, New York, 1979.
Hajilarov, E.Inherently nonfinitely based commutative directoid. (To appear in Algebra Universalis.)
Isaev, I. M.,Essentially infinitely based varieties of algebras. Sibiriskii Mat. Zhurnal30:6 (1989), 75–77. (English translation: Siberian Math. J. 892–894.)
Ježek, J.,Nonfinitely based three-element groupoids. Algebra Universalis20 (1985), 292–301.
Ježek, J. andQuackenbush, R.,Directoids: algebraic models of up-directed sets. Algebra Universalis27 (1990), 49–69.
Kearnes, K. andWtllard, R.,Inherently nonfinitely based solvable algebras. To appear in the Canadian Math. Bull.
Kruse, R.,Identities satisfied by a finite ring. J. Algebra26 (1973), 298–318.
Lyndon, R.,Identities in finite algebras. Proc. Amer. Math. Soc.5 (1954), 8–9.
L'vov, I. V.,Varieties of associative rings, I and II. Algebra i Logika12 (1973), 269–297, and 667–688.
McKenzle, R.,Equational bases for lattice theories. Math. Scand.27 (1970), 24–38.
McKenzle, R.,A new product of algebras and a type reduction theorem. Algebra Universalis18 (1984), 29–69.
McKenzle, R.,Finite equational bases for congruence modular algebras. Algebra Universalis24 (1987), 224–250.
McKenzie, R., Tarski's finite basis problem is undecidable. To appear in the International Journal of Algebra and Computation.
McNulty, G. F. andShallon, C. R.,Inherently nonfinitely based finite algebras. In:Universal Algebra and Lattice Theory, Lecture Notes in Math.1004. 206–231. R. Freese and O. Garcia, eds., Springer Verlag, New York, 1983.
McKenzte, R., McNulty, G. andTaylor, W.,Algebras, Lattices Varieties, I, Brooks/Cole, Monterey, CA, 1987.
Murskii, V. L.,The existence in three-valued logic of a closed class with finite basis not having a finite complete set of identities. (Russian) Dokl. Akad. Nauk SSSR163 (1965), 815–818.
Oates, S. andPowell, M. B.,Identical relations infinite groups. J. Algebra1 (1965), 11–39.
Perkins, P.,Basis questions for general algebra. Algebra Universalis19 (1984), 16–23.
Sapir, M.,Inherently nonfinitely based finite semigroups. Mat. Sbornik133 (1987). English translation: Math. USSR Sbornik61 (1988), 155���166.
Shallon, C.,Non-finitely based algebras derived from lattices. Ph. D. dissertation, UCLA, 1979.
Szendrei, Á.,Nonfinitely based finite groupoids generating minimal varieties. Preprint.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ježek, J., McNulty, G.F. Finite axiomatizability of congruence rich varieties. Algebra Universalis 34, 191–213 (1995). https://doi.org/10.1007/BF01204782
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01204782