Remarks and problems on a lattice of equational chapters

DOI10.1007/BF01190908zbMath0616.08014MaRDI QIDQ1821134

Walter Taylor, Jan Mycielski

Publication date: 1986

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

equational theoriesequational chapterlocally interpretable

Mathematics Subject Classification ID

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

• 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

This page was built for publication: Remarks and problems on a lattice of equational chapters