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

300. --, Para primal varieties: a study of finite axiomatizability and definable principal
congruences in locally finite varieties, Algebra Universalis 8(1978),336-348 .{ 9.13,14.2,15 }
301. McKenzie, R., and S. Shelah, The cardinals of simple models for universal theories, 53-74 in:
Proc. Tarski Symposium (1971)-Vol. 25 of Symposia in Pure Math., Amer. Math. Soc.,
Providence, 1974. {14.8}
302. McKenzie, R., and R. J. Thompson, An elementary construction ofunsolvable word problems
in group theory, 457-478 in [62]. {12}
303. McKinsey, J. C. C., The decision problem for some classes of sentences without quantifiers, J.
Symbolic Logic, 8(1943), 61-76. {3}
304. McKinsey, J. C. C., and A. Tarski, On closed elements in closure algebras, Ann. Math.,
47(1946), 122-162. {8.3}
305. McNulty, G., The decision problem for equational bases of algebras, Annals Math. Logic,
10(1976), 193-259. {5,11,12}
306.* , Undecidable properties of finite sets of equations, J. Symbolic Logic, 41(1976),
9-15. {5, 12, 12.5, 12.9, 12.10, 12.11, 12.12}
307.* , Fragments of first order logic I: universal Horn logic, J. Symbolic Logic, 42(1977),
221-237. {3,5}
308. __, Structural diversity in the lattice of equational classes, Ms. (see Notices Amer. Math.
Soc., 23(1976), A-401.)
309.*McNulty, G., and W. Taylor, Combinatory interpolation theorems, Discrete Math., 12(1975),
193-200. {11 }
310. Mendelsohn, N. S., Abstract 76T-A252, Notices Amer. Math. Soc., 23(1976), A-640. {14.1}
311. Meskin, S., On some Schreier varieties of universal algebras, J. Austral. Math. Soc., 10(1969),
442-444. {14.12}
312. Monk, J. D., On representable relation algebras, Michigan Math. J., 11(1964), 207-210. {9.23}
313.* , Model-theoretic methods and results in the theory of cylindric algebras, 238-250 in:
Addison, Henkin, Tarski (eds.), The theory of models, North-Holland, Amsterdam, 1965.
314. , Nonfinitizability of classes of representable cylindric algebras, J. Symbolic Logic,
34(1969), 331-343. {9.23}
315. , On equational classes of algebraic versions of logic I, Math. Scand. 27(1970),
53-71. {13.7 }
316. Murskii v, V. L., Nondiscernible properties of finite systems of identity relations, (in Russian)
Doklady Akad. Nauk SSSR, 196(1971), 520-522. Translation: Soviet Math. Dokl., 12(1971),
183-186. {12.9}
317. --, Examples of varieties of semieroups, Mat. Zametki, 3(1968), 663-670. Translation:
423-427. {12}
318. , The existence in three-valued logic of a closed class with a finite basis having no
finite complete system of identities, (in Russian), Dokl. Akad. Nauk SSSR, 163(1965),
815-818. {9.16}
319. , The existence of a finite basis, and some other properties, for "almost all"finite
algebras, (Russian), Prob. Kib., 50(1975), 43-56.{ 9.11,9.15}
320. Mutylin, A. F., Doklady Akad. Nauk SSSR, 168(1966), 1005-1008; translation: Soviet Math.
Doklady, 7(1966), 772-5. {16}
321 .*Mycielski, J., Some compactifications of general algebras, Colloq. Math., 13(1964), 1-9. {14.8}
322. Nation, J. B., Varieties whose congruence satisfy certain lattice identities, Algebra Universalis,
4(1974), 78-88. {15}
323. Nelson, E., Finiteness of semigroups of operators in universal algebra, Canad. J. Math.,
19(1967), 764-768. {4}