Gleichungstheorie

- Mathematics & Logic -
Pure Mathematics Dictionary
Eine prädikatenlogische Theorie in einer festen algebraischen Signatur, deren Axiome ausschließlich universell quantifizierte Gleichungen zwischen Termen sind und die gegenüber der Folgerungsrelation der Gleichungslogik abgeschlossen ist.

Gleichungstheorie

- Pure Mathematics -
Algebra Dictionary
Eine erste‑Ordnung‑Theorie, deren Axiome ausschließlich Gleichungen zwischen Termen über einer Signatur sind; ihre Modelle sind genau die Algebren, in denen die angegebenen Identitäten universell gelten.