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

Soc., 23(1976), A-93. {16.7)
379. Rosenbloom, P. C., Post algebras I. Postulates and general theory, Amer. J. Math., 64(1942),
167-188.{9.11}
380. Saade, M., A comment on a paper by Evans, Z. Math. Logik Grundlagen Math., 15(1969),
97-100.
381. Sabbagh, G., Caractrisation algbriq. ue des groupes de type fini ayant un problme de mots
rsoluble, Lecture Notes in Math., 514(1976), 53-80. {17.1 }
382. Sankappanavar, H. P., A study of congruence lattices of pseudocomplemented semilattices,
Ph.D. Thesis, Waterloo, Ontario, 1974. {14.8}
383. Sauer, N., and M. Stone, The algebraic closure of a semigroup of functions, Algebra Universalis,
7(1977), 219-233. {17.2}
384. Schmidt, G., and T. Strohlein, Seminar ber Baxter-Algebren, Bericht 7315, Abteilung Math.
der T. U. Minchen, 1973. {6}
385. Schreier, O., Abstrakte kontinuierliche Gruppen, Abhand. Math. Sem., Hamburg, 4(1926),
15-32.
386.*Schupp, P. E., Varieties and algebraically closed algebras, Algebra Universalis, to
appear. {14.6,17.1}
387. Schtitzenberger, M.P., Sur certains axiomes de la thorie des structures, C. R. Acad. Sci., Paris,
221(1945), 218-220.
388. Schwabauer, R., Commutative semigroup laws, Proc. Amer. Math. Soc., 22(1969),
591-595. {13.5}
389. Scrimger, F. B., A large class of small varieties of lattice ordered groups, Proc. Amer. Math.
Soc., 51(1975), 301-306. {13.10}
390. Scott, D., Equationally complete extensions of finite algebras, Ned. Akad. Wetensch. (Ser.A),
59(1956), 35-38. {13.2}
391. Scott, W. R.,Algebraically closed groups, Proc. Amer. Math. Soc., 2(1951), 118-121.
392. Sekaninovfi, A., On algebras having at most two algebraic operations depending on n variables,
asopis pro pst ovani' mat ematiky, 98( 1973), 113-121. {14.5}
393. Selman, A., Calculi for axiomatically defined classes of algebras, Algebra Universalis, 2(1972),
20-32. {5}
394. Shahat, A., On implicationally defined classes of algebras, J. London Math. Soc., 44(1969),
137-140. {3}
395. , On varieties closed under the construction of power algebras, Bull. Austral. Math.
Soc., 11(1974), 213-218. {3}
396. Shelah, S., Every two elementarily equivalent models have isomorphic ultrapowers, Israel J.
Math., 10(1971), 224-234. {3}
397. , A compactness theorem for singular cardinals, free algebras, Whitehead problems
and transversals, Israel J. Math., 21(1975), 319-349. {2}
398. Sichler, J., Testing categories and strong universality, Canad. J. Math., 25(1973),
370-385. {14.9}
399.*Simmons, H., Existentially closed structures, J. Symbolic Logic, 37(1972), 293-310. { 14.6}
400. , The use of injectire-like structures in model theory, Compos. Math., 28(1974),
113-142.
401. Sioson, F. M., Equational bases of Boolean algebras, J. Symbolic Logic, 29(1964),
115-124. {10.5}
402. Stomirski, J., The theory of abstract algebras with infinitary operations, Rozprawy Mat.,
18(1959). {3,5)
403. Smith, D. D., Non-recursiveness of the set of finite sets of equations whose theories are
one-based, Notre Dame J. Formal Logic, 13(1972), 135-138. {12.5 }
67