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

REFERENCES
This is not really a complete bibliography, but it should contain enough to allow one to track
down all important references relating to this survey. Works with expository or historical sections
especially relevant to this material are denoted *. In lieu of an index, we have indicated in brackets
{ } the sections in which these works are referred to.
1. Aczl, J., Lectures on functional equations and their applications, Academic Press, New York,
1966.{16}
2. Adams, J. F., On the non-existence of elements of Hopf invariant one, Ann. Math. (2),
72(1960), 20-104. {16.1}
3. Adjan, S. I., The Burnside problem and identities in groups, Nauka, Moscow, 1975. { 14.5}
4. Akataev, A. A., and D. M. Smirnov, The lattice of subvarieties of an algebraic variety, (in
Russian), Alg. i Logika, 7(1968), 5-25.
5. Albert, A. A., Power-associative rings, Trans. Amer. Math. Soc., 64(1948), 552-593. { 6 }
6.* Amitsur, S. A., Polynomial identities, Israel J. Math., 19(1974), 183-199. {8.4 }
7. Andreqa, M., B. Dahn and I. Ne'meti, On a proof of Shelah, Bull. Polish Acad. Sci., 24(1976),
1-7. {3}
8. Aust, C., Primitive elements and one-relation algebras, Trans. Amer. Math. Soc., 193(1974),
375-387. {14.12}
9. Austin, A. K., A note on models of identities, Proc. Amer. Math. Soc., 16(1965),
522-523. { 14.1}
10. , Finite models for laws in two variables, Proc. Amer. Math. Soc., 17(1966),
1410-1412.
11. , A closed set of laws which is not generated by a finite set of laws, Quart. J. Math.,
(Oxford), (2), 17(1966), 11-13. {9.17,11 }
12. Bacsich, P. D., Cofinal simplicity and algebraic closedness, Algebra Universalis, 2(1972),
354-360. {17.1 }
13. , The strong amalgamation property, Colloq. Math., 33(1975), 13-23. { 14.6 }
14. __, Amalgamation properties and interpolation theorems for equational theories,
Algebra Universalis, 5(1975), 45-55. {14.6 }
15.* Bacsich, P. D., and D. Rowlands-Hughes, Syntactic characterization of amalgamation,
convexity and related properties, J. Symbolic Logic, 39(1974), 433-451. { 14.6,14.7 }
16. Baer, R., Group theoretical properties and functions, Colloq. Math., 14(1966),
285-327. { Introduction}
17. Baker, K. A., Finite equational bases for finite algebras in a congruence-distributive equational
class, Advances in Math., 24(1977), 207-243. {9.11}
18. , Primitive satisfaction and equational problems for lattices and other algebras, Trans.
Amer. Math. Soc., 190(1974), 125-150. {15}
19. , Equational classes of modular lattices, Pacific J. Math., 28(1969), 9-15. { 13.11 }
20. , Equational axioms for classes of lattices, Bull. Amer. Math. Soc., 71(1971), 97-102.
21. Baker, K. A., and A. F. Pixley, Polynomial interpolation and the Chinese remainder theorem
for algebraic systems, Math. Z., 143(1975), 165-174. {15}
22. Balbes, R., Projectire and injectire distributive lattices, Pacific J. Math., 21(1967),
405-420. {14.9}
23. Baldwin, J. T., A sufficient condition for a variety to have the amalgamation property, Colloq.
Math., 28(1973), 181-183. {14.6}
53