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