References
A. K. Austin,A closed set of laws which is not generated by a finite set of laws, Quart. J. Math., (Oxford), (2),17 (1966), 11–13.
K. A. Baker,Finite equational bases for finite algebras in a congruence-distributive equational class, Advances in Math.,24 (1977), 207–243.
R. C. Lyndon,Identities in finite algebras, Proc. Amer. Math. Soc.,5 (1954), 8–9.
M. Makkai,A proof of Baker's finite basis theorem, Algebra Universalis,3 (1973), 174–181.
R.McKenzie,Equational bases for lattice theories, Math. Scand.,27 (1970).
R. McKenzie, R.,Equational bases and nonmodular lattice varieties, Trans. Amer. Math. Soc.174 (1972), 1–43.
R. McKenzie,Para primal varieties: a study of finite axiomatizability and definable principal congruences in locally finite varieties, Algebra Universalis8 (1978), 336–348.
R.McKenzie,A new product of algebras and a type reduction theorem, preprint.
V. L. Murskii,The number of k-element algebras with a binary operation which do not have a finite bases of identities (Russian), Problemy Kibernet. No.35 (1979), 5–27.
P. Perkins,Unsolvable problems for equational theories, Notre Dame J. Formal Logic,8 (1967), 175–185.
P. Perkins,Bases for equational theories of semigroups, J. Algebra,11 (1969), 298–314.
D. Pigozzi,Finite groupoids without finite bases for their identities, Algebra Universalis13 (1981), 329–354.
C. R. Shallon,Non-finitely based binary algebras derived from lattices, Ph.D. dissertation, University of California, Los Angeles, 1979.
W. Taylor,Baker's finite basis theorem, Algebra Universalis,8 (1978), 191–196.
W.Taylor,Equational logic, Houston J. Math. Survey 1979. (See this reference for an extensive bibliography).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Perkins, P. Basic questions for general algebras. Algebra Universalis 19, 16–23 (1984). https://doi.org/10.1007/BF01191487
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01191487