Remarks and problems on a lattice of equational chapters (Q1821134)

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.