Download or read book The Lattice of Interpretability Types of Varieties written by Octavio Carlos García and published by American Mathematical Soc.. This book was released on 1984 with total page 133 pages. Available in PDF, EPUB and Kindle. Book excerpt: We investigate the lattice, invented by W. D. Neumann in 1974, formed by the class of all varieties under the quasi-ordering "[script]V is interpretable in [script]W." The lattice is found to be non-modular and a proper class. Various familiar varieties are found to be [logical conjunction symbol {up arrow}]-irreducible (or prime) and various filters (especially Mal'tsev classes) are found to be indecomposable (or prime). Many familiar varieties are found to be inequivalent in the lattice, using a new technique of SIN algebras. Seven figures are included which document the known relationships between some sixty known or easily describable varieties and varietal families.