# 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. |

Trace: