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

56
79. , Embedding the dual of IIoo in the lattice of equational classes of semigroups,
80.*
Algebra Universalis, 1(1971), 248-254. {13.4,13.6}
Burris, S., and H. P. Sankappanavar, Lattice-theoretic decision problems in universal algebra,
Algebra Universalis, 5(1975), 163-177. {12}
81. Burris, S., and H. Werner, Sheaf constructions and their elementary properties I, the ternary
discriminator, Ms., Darmstadt, 1975, Trans. Amer. Math. Soc., to appear. {12}
82. , Sheaf constructions and their elementary properties II, Class operators, a
preservation theorem, the Feferman-Vaught theorem and model completeness, Ms., Darmstadt,
1975, Trans. Amer. Math. Soc., to appear.
83. Carlisle, W. H., Ph.D. Thesis, Emory University, 1970. { 13.5 }
84. Chacron, J., Introduction i la thborie axiomatique des structures, Collect. Math., 25(1974),
37-54. {4}
85. Chang, C. C. and H. J. Keisler, Model Theory, North-Holland, Amsterdam, 1973. {3,5}
86. Chin, L. H., and A. Tarski, Distributive and modular laws in the arithmetic of relation algebras,
Univ. Calif. Publ. Math., New Series, 1(1951), 341-384. {6}
87. Clark, D. M., Varieties with isomorphic free algebras, Colloq. Math., 29(1969), 181-187. {15}
88. , Disassociative groupolds are not finitely based, J. Austral. Math. Soc., 11(1970),
113-114. {9.24}
89. Clark, D. M., and P.M.
165-192. {13,15}
Krauss, Para primal algebras, Algebra Universalis, 6(1976),
91 .*
, Varieties generated by para primal algebras, Algebra Universalis, 7(1977),
93-114. { 14.2,15}
Cohn, P.M., UniversalAlgebra, Harper & Row, New York, 1965.{7,13,14.4,[64] ,[184]}
92. Conway, J. H., Regular algebras and finite machines, Chapman & Hall, London, 1971. {6}
93. Crawley, P., and R. P. Dilworth, Algebraic theory of lattices, Prentice-Hall, Englewood Cliffs,
1973. {13.11}
94. Csfikfiny, B., Characterizations of regular varieties, Acta Sci. Math. (Szeged), 31(1970),
187-189.{15 }
95. , Conditions involving universally quantified function variables, Acta Sci. Math.
(Szeged), 38(1976), 7-11. {15 }
96. Csfikfiny, B., and L. Megyesi, Varieties of idempotent medial quasigroups, Acta Sci. Math.
(Szeged), 37(1975), 17-23. {7}
97.* Davey, B. A., Weak injectivity and congruence extension in congruence-distributive equational
classes, Canad. J. Math., 29(1977), 449-459. { 14.7,15 }
98. Day, A., A characterization of modularity for congruence lattices of algebras, Canad. Math.
Bull., 12(1969), 167-173. {15}
99. , Injectivity in equational classes of algebras, Canad. J. Math., 24(1972),
209-220. {14.9}
100. , A simple solution to the word problem for lattices, Canad. Math. Bull., 13(1970),
253-254. {12}
101. , A note on the congruence extension property, Algebra Universalis, 1(1971),
102.
234-235. {14.7}
, Varieties of Heyting algebras, I, II, Mimeographed, Nashville, 1971. {13.9}
103. , Splitting lattices and congruence-modularity, 57-71 in the Proceedings of the 1975
Szeged Universal Algebra Conferences -Colloquia Math. Soc. Janos Bolyai, Vol. 17. {15 }
104. , The C.E.P. and S.I. algebras -an example, Algebra Universalis, 3(1973),
229-237. {8,14.7}
105. Day, A., C. Herrman and R. Wille, On modular lattices with four generators, Algebra