Differences

This shows you the differences between two versions of the page.

equational_theory [2010/08/20 19:42]
jipsen created
equational_theory [2010/08/20 19:43] (current)
jipsen
Line 1: Line 1:
 +=====Equational Theory=====
 +
The \emph{equational theory} of a class of structures is the set of universal atomic formulas that hold in all members of the class. The \emph{equational theory} of a class of structures is the set of universal atomic formulas that hold in all members of the class.
For a class of algebras, this is simply the collection of all equations that hold in all members of the class. For a class of algebras, this is simply the collection of all equations that hold in all members of the class.