Survey 1979: Equational Logic - Department of Mathematics ...
Survey 1979: Equational Logic - Department of Mathematics ...
Survey 1979: Equational Logic - Department of Mathematics ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
324. The lattice <strong>of</strong> equational classes <strong>of</strong> semigroups with zero, Canad. Math. Bull,<br />
14(1971), 531-535. {13.5 }<br />
325. The lattice <strong>of</strong> equational classes <strong>of</strong> commutative semigroups, Canad. J. Math.,<br />
23(1971), 875-895. {13.5}<br />
326. , Not every equational class <strong>of</strong> infinitary algebras contains a simple algebra, Colloq.<br />
Math., 30(1974), 27-30. {14.8}<br />
327. Classes defined by implication, Algebra Universalis, 7(1977), 405-407.<br />
{3}<br />
328. Neumann B. H., On a problem <strong>of</strong> G. Grtzer, Publ. Math. Debrecen, 14(1967),<br />
325-329. {14.1 }<br />
329. The isomorphism problem for algebraically closed groups, 553-562 in [62]. { 17.1 }<br />
330.*Neumann, H., Varieties <strong>of</strong> groups, Springer-Verlag, Berlin, 1967. {13.3,14.5,17.9 }<br />
331. , Letter to J. Mycielski, June, 1968. {8.6}<br />
332.*Neumann, W. D., Representing varieties <strong>of</strong> algebras by algebras, J. Austral. Math. Soc.,<br />
11(1970), 1-8. {7,14.3 }<br />
333.*, On Malcev conditions, J. Austral. Math. Soc., 17(1974), 376-384. {15,[427] }<br />
334. Novikov, P.S., On the algorithmic undecidability <strong>of</strong> the word problem in group theory, Trudy<br />
Mat. Inst. Steklov., No. 14, Izdat. Nauk SSSR, Moscow, 1955. {12}<br />
335. Novikov, P.S., and S. I. Adjan, Infinite periodic groups I, II, III, Izv. Akad. Nauk SSSR Set.<br />
Mat., 32(1968), 212-244, 251-524 and 709-731. {14.5}<br />
336. Oates, S., and M. B. Powell, Identical relations in finite groups, J. Algebra, 1(1965),<br />
11-39. {9.2 }<br />
337. Olanskff, A. Ju., On the problem <strong>of</strong> a finite basis for the identities <strong>of</strong> groups, Izv. Akad. Nauk<br />
SSSR, 34(1970), 376-384. Translation: Math. USSR - Izvestiya, 4(1970),<br />
381-389. {9.18,13.3,14.4}<br />
338.*Osborn, J., Varieties <strong>of</strong> algebras, Advances in Math., 8(1972), 162-369.<br />
339. Padmanabhan, R., On identities defining lattices, Algebra Universalis, 1(1971), 359-361. {10}<br />
340. , <strong>Equational</strong> theory <strong>of</strong> idempotent algebras, Algebra Universalis, 2(1972),<br />
57-61. {10.12}<br />
341. , <strong>Equational</strong> theory <strong>of</strong> algebras with a ma/ority polynomial, Algebra Universalis,<br />
7(1977), 273-275. {10.1,10.2}<br />
342. Padmanabhan, R., and R. W. Quackenbush, <strong>Equational</strong> theories <strong>of</strong> algebras with distributive<br />
congruences, Proc. Amer. Math. Soc., 41(1973), 373-377. {6,10.7,10.13}<br />
343. Page, W. F., <strong>Equational</strong>ly complete varieties <strong>of</strong> generalized groups, Bull. Austral. Math. Soc.,<br />
13(1975), 75-83. {13}<br />
344. Page, W. F., and A. T. Butson, The lattice <strong>of</strong> equational classes <strong>of</strong> m-semigroups, Algebra<br />
Universalis, 3(1973), 112-126. {13.5 }<br />
345. Palyutin, E. A., The description <strong>of</strong> categorical quasivarieties, Alg. i Logika, 14(1975),<br />
145-185. { 14.3}<br />
346. Pareigis, B., Categories and Functors, Academic Press, New York, 1970. { 2,7 }<br />
347. Peake, E. J., and G. R. Peters, Extension <strong>of</strong> algebraic theories, Proc. Amer. Math. Soc.,<br />
32(1972), 358-362. {7}<br />
348. Perkins, P., Unsolvable problems for equational theories, Notre Dame J. Formal <strong>Logic</strong>,<br />
8(1967), 175-185. {12,12.1,12.3,12.4,12.6}<br />
349. , Bases for equational theories <strong>of</strong> semigroups, J. Algebra, 11(1969),<br />
298-314. {9.3,9.17,11,13.5 }<br />
350. , An unsolvable provability problem for one-variable groupoM equations, Notre Dame<br />
J. Formal <strong>Logic</strong>, 13(1972), 359-362. {12}<br />
65