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)
Lattices of varieties (08B15) Equational logic, Mal'tsev conditions (08B05) Relative consistency and interpretations (03F25)
Related Items (5)
Equational treatment of first-order logic ⋮ Some very weak identities ⋮ On the covering relation in the interpretability lattice of equational theories ⋮ Non-covering in the interpretability lattice of equational theories ⋮ Interpretations of module varieties
Cites Work
- 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
- Unnamed Item
This page was built for publication: Remarks and problems on a lattice of equational chapters