Remarks and problems on a lattice of equational chapters (Q1821134)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Remarks and problems on a lattice of equational chapters |
scientific article |
Statements
Remarks and problems on a lattice of equational chapters (English)
0 references
1986
0 references
Let S and T be two equational theories with at least one individual constant. S is said to be locally interpretable in T (in symbols, \(S\leq T)\) if for every finite part \(S_ 0\) of S and every function symbol F of \(S_ 0\) there exists a term all of whose variables are assigned to some argument places of F such that, if we replace the function symbols of \(S_ 0\) by those term (equal for equal) then all the equations in \(S_ 0\) turn into theorems of T. Let \(S\approx T\Leftrightarrow S\leq T\) and \(S\geq T)\); \(| S|\) is called the equational chapter of S, where \(| S|\) denotes the \(\approx\)-equivalence class of S. In this clear and readable paper the authors study a lattice of equational chapters.
0 references
equational theories
0 references
locally interpretable
0 references
equational chapter
0 references