Remarks and problems on a lattice of equational chapters
From MaRDI portal
Publication:1821134
DOI10.1007/BF01190908zbMath0616.08014MaRDI QIDQ1821134
Publication date: 1986
Published in: Algebra Universalis (Search for Journal in Brave)
08B15: Lattices of varieties
08B05: Equational logic, Mal'tsev conditions
03F25: Relative consistency and interpretations
Related Items
On the covering relation in the interpretability lattice of equational theories, Interpretations of module varieties, Some very weak identities, Equational treatment of first-order logic, Non-covering in the interpretability lattice of equational theories
Cites Work
- Unnamed Item
- Equational classes of modular lattices
- The lattice of interpretability types of varieties
- On Malcev conditions
- Equational Bases for Lattice Theories.
- On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
- A lattice of interpretability types of theories
- Some Prime Elements in the Lattice of Interpretability Types