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

66
351. Petrich, M., All subvarieties of a certain variety of semigroups, Semigroup Forum, 7(1974),
104-152. {13.5)
352. __, Varieties of orthodox bands of groups, Pacific J. Math., 58(1975), 209-217.
353. Pierce, R. S., Introduction to the theory of abstract algebras, Holt, Rinehart and Winston, New
York, 1968. {14.9}
354.**Pigozzi, D., Equational logic and equational theories of algebras, Mimeographed at Iowa State
University, 1970, and reissued at Purdue University, 1975.{ Introduction,8,13}
355.* , Amalgamation, congruence-extension and interpolation in algebras, Algebra
Universalis, 1 ( 1971), 269-349. { 14.6,14.7 }
356. , Base-undecidable properties of universal varieties, Algebra Universalis, 6(1976),
195-223.{12.7,12.8}
357. , On some operations on classes of algebras, Algebra Universalis, 2(1972),
346-353. {4}
358. , The join ofequational theories, Colloq. Math,, 30(1974), 15-25.
359. __, Universal equational theories and varieties of algebras, Annals Math. Logic, to
appear. { 14.11 }
360. __, On the structure of equationally complete varieties, Transactions Amer. Math. Soc.,
to appear. { 13}
361. , The universality of the variety ofquasigroups, J. Austral. Math. Soc. (A), 21(1976),
194-219. {14.11}
362. Pixley, A. F., The ternary discriminator function in universal algebra, Math. Ann., 191(1971),
167-180. {10.7,14.5,15 }
363. __, LocalMalcev conditions, Canad. Math. Bull, 15(1972), 559-568. {15,17.3}
364. Pt'onka, J., On algebras with [at most] n distinct essentially n-ary operations, Algebra
Universalis, 1(1971), 73-79 and 80-85. {14.5}
365. , On a method of construction of abstract algebras, Fund. Math., 61(1967), 183-189.
366. , Remark on direct products and sums of direct systems of algebras, Bull. Pol. Acad.
Sci., 23(1975), 515-518. {3}
367. Post, E., Recursire unsolvability of a problem of Thue, J. Symbolic Logic, 12(1947),
1-11. {12)
368. Potts, D. H., Axioms for semilattices, Canad. Math. Bull., 8(1965), 519. {10.6,10.11}
369.*Quackenbush, R. W., Structure theory for equational classes generated by quasi-primal
algebras, Trans. Amer. Math. Soc., 187(1974), 127-145. {10.7, 13.2, 14.5}
370. , Variett,'es ofsquags and sloops, Canad. J. Math., 28(1976), 1187-1198. { 14.4,17.4}
371. , Algebras with small fine spectrum, Algebra Universalis, to appear. { 14.2,15}
372. , Near-Boolean algebras I: Combinatorial Aspects, Discrete Math., 10(1974),
301-308. {10,14.4}
373. , Semisimpie equational classes with distributive congruence lattices, Ann. E6tv6s
L6rand Univ., 17(1974), 15-19. {15}
374. Razmyslov, P., A finite basis for the identities of a matrix algebra of second order over a field
of characteristic zero, (in Russian), Algebra i Logika, 12(1973), 83-111. { 9.7}
375. , A finite basis for some varieties of algebras, (in Russian), Algebra i Logika,
13(1974), 685-693.
376. Remeslennikov, V. N., Two remarks on 3-step nilpotent groups, (in Russian), Algebra i Logika,
4(1965), 59-65. { 13.3}
377. Richardson, D., Solution of the identity problem for integral exponential functions, Z. Math.
Logik Grundlagen Math., 15(1969), 333-340. { 8,12}
378. Robbie, D., Power associative topological groupoids and the elusive SAG, Notices Amer. Math.