Single Axioms with and without Computers

Abstract

This note is an incomplete summary of results on single equational axioms for algebraic theories Pioneering results were obtained decades ago without the use of computers by logicians such as Tarski Higman Neumann and Padmanabhan Use of today s high speed computers and sophisticated soft ware for searching for proofs and counterexamples has led to many… (More)

Topics

  • Presentations referencing similar topics