Single Axioms: With and Without Computers
|Title||Single Axioms: With and Without Computers|
|Year of Publication||2001|
This note is an (incomplete) summary of results on single equational axioms for algebraic theories. Pioneering results were obtained d3ecades ago (without the use of computers) by logicians such as Tarski, Higman, Neumann, and Padmanabhan. Use of today\'s high-speed computers and sophisticated software for searching for proofs and counterexamples has led to many additional results.