Remarks and problems on a lattice of equational chapters (Q1821134): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Equational classes of modular lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The lattice of interpretability types of varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equational Bases for Lattice Theories. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A lattice of interpretability types of theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Malcev conditions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some Prime Elements in the Lattice of Interpretability Types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4193434 / rank | |||
Normal rank |
Latest revision as of 19:21, 17 June 2024
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
0 references