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

Math. Bull., 18(1975), 427-429.
161. Grh'tzer, G., On the spectra of classes of algebras, Proc. Amer. Math., Soc., 18(1967),
729-735. {14.1 }
162. __, Composition of functions, 1-106 in: Proceedings of the Conference on Universal
algebra at Queen's University, Kingston, Ontario, 1969. Volume 25 of the Queen's Papers in
Pure and Applied Mathematics. {14.5}
163.*__, Universal Algebra, Von Nostrand, Princeton, 1968. {2,3,4,9.10,11,13,14.5}
164. , Two Malcev-type theorems in universal algebra, J. Combinatorial Theory, 8(1970),
334-342.
165.* , Lattice Theory, First concepts and distributive lattices, H. M. Freeman, San
Francisco, 1971. {10.5,10,13,13.7 }
166. Gfiitzer, G., and H. Lakser, Abstract 70T-A91, Notices Amer. Math. Soc., 17(1970), 642. {3}
167. Gritzer, G., H. Lakser and B. Jdnsson, The amalgamation property in equational classes of
lattices, Pacific J. Math., 45(1973), 507-524. {14.6}
168. Grfi'tzer, G., and R. McKenzie, Equational spectra and reduction of identities, Notices Amer.
Math. Soc., 14(1967), 697. {10.7}
169. Gr/itzer, G., and J. Pt'onka, On the number of polynomials of an idempotent algebra II, Pacific
J. Math., 47(1973), 99-113. {14.5}
170. Gray, J., Categorical Universal Algebra, to appear. {2}
171. Green, J. A., and D. Rees, On semigroups in which x r--x, Proc. Camb. Philos. Soc., 48(1952),
35-40. {14.5}
172. Green, T. C. and A. Tarski, Abstract 70T-A49, Notices Amer. Math. Soc., 17(1970),
429-430. {10.10,11}
173. Gumre, H. P., Algebras in congruence permutable varieties: geometrical properties of affine
algebras, Algebra Universalis, (to appea O. {15}
174. Hales, A. W., On the non-existence of free complete Boolean algebras, Fund. Math., 54(1964),
45-66. { 14.5 }
175. Hall, P., Some word problems, J. London Math. Soc., 33(1958), 428-496. {12}
176. Hand, T. O., Abstract 76T-A136, Notices Amer. Math. Soc., 23(1976), A425. {6}
177. Hatcher, W. S., Quasiprimitive subcategories, Math. Ann., 190(1970), 93-96. {3}
178. Hatcher, W. S., and A. Shafaat, Categorical languages for algebraic structures, Z. Math. Logik
Grundlagen Math., 21(1975), 433-438. {3}
179. Head, T. J., The varieties of commutative monoids, Nieuw Archief voor Wiskunde (3),
16(1968), 203-206. { 13.5 }
180. Hedrl;n, Z., and J. Sichler, Any boundable binding category contains a proper class of dis/oint
copies of itself, Algebra Universalis, 1(1971), 97-103. {14.9 }
181. Henkin, L., The logic of equality, Amer. Math. Monthly, 84(1977), 597-612. Synopsis ibid.,
81(1974), 555. {9}
182. , Algebraic aspects of logic: past, present and future, 89-106 in the Proceedings of the
Colloque International de la Logique, Clermont-Ferrand, July, 1975, Colloques Internationaux
de C.N.R.S., No. 249, lditions C.N.R.S., Paris, 1977.{17.7 }
183.*Henkin, L.,J. D. Monk and A. Tarski, Cylindric Algebra, North-Holland, Amsterdam, 1971.
184. Higman, G., Review of Cohn [91], J. London Math. Soc., 41(1966), 760. {Introduction}
185. Higman, G., and B. H. Neumann, Groups as groupoids with one law, Publ. Math. Debrecen,
2(1952), 215-221. {10.3}
186. Hodges, W.,Horn )brmulae, to appear. {3 }
187. , Compactness and interpolation for Horn sentences, to appear. {3,5 }
188. Holland, W. C., The largest proper variety of lattice-ordered groups, Proc. Amer. Math. Soc.,
57(1976), 25-28.{ 8.8,8,13.10 }
59