Survey 1979: Equational Logic - Department of Mathematics ...

SUPPLEMENTAL BIBLIOGRAPHY
The following articles are all closely related to one aspect or another of our survey. We have
not usually referred explicitly to them, either because they are peripheral, or because they are very
recent, or because they had escaped our notice until the last moment. We thank Bjarni J6nsson who
did muchof the work in compiling this bibliography.
Admek, J., and J. Reiterman, Fixed-point properties of unary algebras, Algebra Universalis,
4(1974), 163-165.
Adjan, S. I., Infinite irreducible systems of group identities, (Russian), Dokl. Akad. Nauk SSSR,
190(1970), 499-501.
Aliev, I. Sh., On the minimal variety of a symmetric variety, Algebra i Logika, 5(1966), 5-14.
Appel, K. I., Horn sentences in identity theory, J. Symbolic Logic, 24(1959), 306-310.
Astromoff, A., Some structure theorems for primal and categorical algebras, Math. Z., 87(1965),
365-377.
Backmuth, S., Mochizuki, H. Y., The class of the free metabelian group with exponent p2, Comm.
Pure Appl. Math., 21(1968), 385-399.
Bacsich, P. D., Primality and model completions, Algebra Universalis, 3(1973), 265-270.
Baker, K., Equational axioms for classes oœtteyting algebras, Algebra Universalis, 6(1976), 105-120.
Balbes, R., On free pseudo-complemented and relatively pseudo-complemented semi-lattices, Fund.
Math., 78(1973), 119-131.
Balbes, R., and Dwinger, P., Distributive lattices, Univ. of Missouri Press, Columbia, 1974.
Banaschewski, B., and Nelson, E., On residual finiteness and finite embeddability, Algebra
Unive rsalis, 2(1972), 361-364.
BaranoviE, T. M., On multi-identities in universal algebras, (Russian), Sibirsk. Math. ., 5(1964),
976-986.
, Free decompositions in the intersection of primitive classes of algebras, Dokl. Akad. Nauk
SSSR, 155(1964), 727-729, (Russian), Mat. Sb. (N.S.), (109), 67(1965), 135-153.
__, The equivalenee of topological spaces and primitive algebra classes, Math. Sb. (N.S.), (98),
56(1962), 129-136.
Bateson, C. A., Interplay between algebra and topology.' groupoids in a variety, Ph.D. Thesis,
Boulder, 1977.
Berman, J., Algebras with modular lattice reducts and simple subdirect irreducibles, Discrete Math.,
11(1975), 1-8.
--, On the congruence lattices of unary algebras, Proc. Amer. Math. Soc., 36(1972), 34-38.
:--, Distributive lattices with an additional unary operations, Aequ. Math., 16(1977),
165-171.
Birkhoff, G., and J. D. Lipson, Heterogeneous algebras, J. Combinatorial Theory, 8(1970), 115-133.
., Universal algebra and automata, 41-51 in Proc. International Congress of Mathematicians,
Vancouver, 1974, Canadian Math. Congress, 1975.
Biryukov, A. P., On infinite sets of identities in semigroups, (Russian), Algebra i Logika, 4(1965),
31-32.
., Semigroups defined by identities, Dokl. Akad. Nauk SSSR, 149(1963), 230-232.
., The lattices of varieties of idempotent semigroups, (Russian), All-Union Coll. on General
Algebra, Riga, (1967), 16-17.
., Varieties of idempotent semigroups, Algebra and Logic, 9(1970), 153-164.
71