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