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

216. Jones, G. T., Pseudocomplemented semilattices, Ph.D. thesis, U.C.L.A., 1972. Also see Pacific
J. Math., to appear. {14.8}
217.*Jones, J.P., Recursire undecidability- an exposition, Amer. Math. Monthly, 81(1974),
72*738. (12}
218. J6nsson, B., Homogeneous universal relational systems, Math. Scand., 8(1960),137-142. {14.6}
219.* , Extensions of relational structures, 146-157 in: J. W. Addison, L. Henkin and A.
Tarski, eds., The theory of models, North-Holland, Amsterdam, 1965. { 14.6 }
220. , Varieties of groups of nilpotency 3, Notices Amer. Math. Soc., 13(1966),
488. 03.3}
221. , Algebras whose congruence lattices are distributive, Math. Scand., 21(1967),
110-121. (13,15 }
222.*, The unique factorization problem for finite relational structures, Colloq. Math.,
14(1966), 1-32. {14.10}
223. __, Sums offinitely based lattice varieties, Advances in Math., 14(1976), 454-468. {13}
224.*, Varieties of algebras and their congruence varieties, 315-320 in Proc. International
Congress of Mathematicians, Vancouver, 1974, Canadian Math. Congress, 1975. {15}
225. , The variety covering the variety of all modular lattices, Math. Scand., 41(1977),
5-14.{13}
226. , A short proof of Baker's finite basis theorem, See the new edition of [163]. {9.11 }
227. J6nsson, B., G. McNulty and R. W. Quackenbush, The ascending and descending varietal chains
of a variety, Canad. J. Math., 27(1975), 25-32. {14.4}
228. J6nsson, B., and E. Nelson, Relatively free products in regular varieties, Algebra Universalis,
4(1974), 1,19. {3}
229. Jdnsson, B., and I. Rival, Lattice varieties covering the smallest non-modular variety, Pacific J.
Math., to appear. {13.11 }
230. Jdnsson, B., and A. Tarski, Direct decompositions of finite algebraic systems, Notre Dame
Math. Lectures No. 5, Notre-Dame, 1947. {14.10}
231. , On two properties of free algebras, Math. Scand., 9(1961), 95-101. {14.1,15}
232. Kalicki, J., On comparison of finite algebras, Proc. Amer. Math. Soc., 3(1952), 36-40. {12}
233. , The number of equationally complete classes of equations, Nedeft. Akad. Wetensch.
Proc. Ser. A., 58(1955), 660-662. {13}
234. Kalicki, J., and D. Scott, Equational completeness of abstract algebras, Indag. Math., 17(1955),
650-659. {13 }
235.*Kalman, J. A., Applications of subdirect products in general algebra, Math. Chronicle (New
Zealand), 3(1974), 45-62. { 9 }
236. Kannapan, P., and M. A. Taylor, Abstract 742-20-5, Notices Amer. Math. Soc., 24(1977),
A-64. {10.3}
237. Kaplansky, I., Topological rings, Amer. J. Math., 69(1947), 153-183. {16.3}
238. Karp, C., Languages with expressions of infinite length, North-Holland, Amsterdam, 1964. { 5}
239. Keane, O.,Abstract Horn theories, Lecture Notes in Math., 445(1975), 15-50. {3}
240. Keimel, K., and H. Werner, Stone duality for varieties generated by quasi-primal algebras,
Memoirs A.M. S., 148(1974), 59-85.
241. Keisler, H. J., Some applications of infinitely long formulas, J. Symbolic Logic, 30(1965),
339-349. {3}
242. , Logic with the quantifier "there exist uncountably many," Ann. Math. Logic,
1(1970), 1-93. {5}
243. Kelenson, P., Regular [Normal] Schreier varieties of universal algebras, Notices Amer. Math.
Soc., 19(1972), A-435 [A-567]. {14.12}
61