05.08.2013 Views

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

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

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!