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

Universalis, 2(1972), 317-323. { 12}
106. Dean, R. A. and T. Evans, A remark on varieties of lattices and semigroups, Proc. Amer. Math.
Soc., 21(1969), 394-396. { 13.4}
107. Diamond, A. H., and J. C. C. McKinsey, Algebras and their subalgebras, Bull. Amer. Math. Soc.,
53(1947), 959-962-. {10}
108. Dixon, P. G., Varieties of Banach algebras, Quart. J. Math., (Oxford), 27(1976), 481487. {3}
109. , Classes of algebraic systems defined by universal Horn sentences, Algebra
Universalis, 7(1977), 315-339. {3}
110. Doner, J. and A. Tarski, An extended arithmetic of ordinal numbers, Fund. Math., 65(1969),
95-127. {8.13}
111. Dwinger, P., The amalgamation problem from a categorical point of view, Proceedings of a
conference on Universal Algebra, Kingston, Ontario, October, 1969, Queen's Papers in Pure
and Applied Mathematics, 25(1970), 190-210. { 14.6}
112. Edgar, G., The class of topological spaces is equationally definable, Algebra Universalis,
3(1973), 139-146. {3}
113. , A completely divisible algebra, Algebra Universalis, 4(1974), 190-191. {4}
114. Ellison, W. J., Waring's problem, Amer. Math. Monthly, 78(1971), 10-31. {6}
115. Error, Ju. L., I. A. Layroy, A.D. TaYmanov and M. A. Tm"tslin, Elementary theories, Russian
Math. Surveys, 20(1965), 35-105.
116. Evans, T., The word problem for abstract algebras, J. London Math. Soc., 26(1951),
64-71. {12}
117. Embeddability and the word problem, J. London Math. Soc., 28(1953),
76-80. {12}
118. Products of points-some simple algebras and their varieties, Amer. Math. Monthly,
74(1967), 363-372. {14.3,16.5}
119. The spectrum of a variety, Z. Math. Logik Grundlagen Math., 13(1967),
213-218. {14.1}
120. The number of semigroup varieties, Quart. J. Math (Oxford), (2), 19(1968),
335-336. {11,13.4}
121 .* Some connections between residual finiteness, finite embeddability and the word
problem, J. London Math. Soc. (2), 1(1969), 399403. {12}
122. An insolvable problem concerning identities, Notre Dame J. Formal Logic,
10(1969), 413-414. {12}
123. Identical relations in loops/, J. Austral. Math. Soc., 12(1970), 275-286.
124.* , The lattice ofsemigroup varieties, Semigroup Forum, 2(1971), 143.{ 9.3,13.4}
125. , Some finitely based varieties of rings, J. Austral. Math. Soc., 17(1974), 246-255.
126.* , Algebraic structures associated with Latin squares and Orthogonal arrays,
(Conference on combinatorics and algebra, Toronto, 1975), 31-52 in: Congressus
Numerantium 13, Utilitas Math., Winnipeg, 1975. { 17.4}
127. , An algebra has a solvable word problem if and only if it is embeddable in a finitely
generated simple algebra, Algebra Universalis, 8(1978), 197-204. {12 }
128. Evans, T., and D. Y. Hong, The free modular lattice on four generators is not finitely
presentable, Algebra Universalis, 2(1972), 284-285.
129. Evans, T., K. I. Mandelberg and M. F. Neff, Embedding algebras with solvable word problems
in simple algebras-some Boone-Higman type theorems, 259-277 in: Proceedings of the 1973
Logic Colloquium at Bristol, June 1973, North-Holland. { 12}
130.*Fagin, R., Generalized first-order spectra and polynomial-time recognizable sets, 43-73 in: R.
Karp, ed., Complexity of Computation, SIAM-AMS Proceedings 7(1974). {14.1}
57