Return to search

Equations and equational theories

We define a formula (phi)(x;t)(' )in a first-order language L, to be an equation in a category of L-structures if, for any H in , and set p = {(phi)(x;a(,i));(' )i (ELEM) I, a(,i)(' )(ELEM) H} there is a finite set I(,0) (L-HOOK) I such that for any f:H(--->)F in ,(' )(INTERSECT)(,i(ELEM)I(,0))(phi)(F;fa(,i)) =(' )(INTERSECT)(,i(ELEM)I)(phi)(F;fa(,i)). / We say that a complete theory T is equational if any formula is equivalent in T to a boolean combination of equations in od(T), and we note that equational theories are stable. / Thus, we develop a theory of independence with respect to equations in general categories of structures, which is similar to the one introduced in stability (and actually identical to it in the case of equational theories) but which, in our context, have an algebraic character. / We then compare the concepts introduced in stability theory to corresponding notions in the context of equational theories.
Date January 1984
CreatorsSrour, Gabriel, 1958-
PublisherMcGill University
Source SetsLibrary and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation
CoverageDoctor of Philosophy (Department of Mathematics and Statistics.)
RightsAll items in eScholarship@McGill are protected by copyright with all rights reserved unless otherwise indicated.
Relationalephsysno: 000220215, proquestno: AAINK66606, Theses scanned by UMI/ProQuest.

Page generated in 0.0056 seconds