𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Baker's finite basis theorem

✍ Scribed by Walter Taylor


Book ID
112760483
Publisher
Springer
Year
1978
Tongue
English
Weight
249 KB
Volume
8
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A proof of Lyndon's finite basis theorem
✍ Joel Berman πŸ“‚ Article πŸ“… 1980 πŸ› Elsevier Science 🌐 English βš– 629 KB

A new proof is given of the theorem, originally proved by R.C. Lyndon, that any two element algebra of finite similarity type has a finite basis for its equations. We also provide a new proof of a result of W. Taylor that any equational class generated by a two element algebraic system contains only

Extending Baker's theorem
✍ Ross Willard πŸ“‚ Article πŸ“… 2001 πŸ› Springer 🌐 English βš– 77 KB