The lattice of interpretability types of varieties

DOI10.1090/memo/0305zbMath0559.08003OpenAlexW2044970453MaRDI QIDQ3347940

Octavio Garcia, Walter Taylor

Publication date: 1984

Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/memo/0305

zbMATH Keywords

latticecoproductsequational logiclanguagevarietiesinterpretabilityMal'cev conditionsproducts of varietiescongruence distributive varietiestermschain of varieties\(\wedge \)- irreducible locally finite variety\(\wedge \)-irreducible\(\wedge \)-primefinitely based varieties of finite typefundamental operationsMal'cev definable classes of varietiesMal'cev filterspower varietiesroot filtersSIN-algebras

Mathematics Subject Classification ID

Lattices of varieties (08B15) Equational logic, Mal'tsev conditions (08B05) Operations and polynomials in algebraic structures, primal algebras (08A40) Congruence modularity, congruence distributivity (08B10) Products, amalgamated products, and other kinds of limits and colimits (08B25)

Related Items (43)

A note on interpretations of Heyting algebras ⋮ Some very weak identities ⋮ Involutions defined by monadic terms ⋮ Interpretability of the Cantor varieties ⋮ Representability types of varieties and Mal'tsev strict conditions ⋮ Possible classification of finite-dimensional compact Hausdorff topological algebras ⋮ Bounded lattice structured discriminator varieties ⋮ Alfred Tarski and undecidable theories ⋮ On the primeness of locally finite idempotent 3-permutability ⋮ Compatibility of book-spaces with certain identities ⋮ The lattice of clones of self-dual operations collapsed ⋮ Deciding the Existence of Minority Terms ⋮ Clones of topological spaces ⋮ Congruence-distributive varieties of algebras ⋮ The wonderland of reflections ⋮ n-Permutability is not join-prime for n ≥ 5 ⋮ Taylor's modularity conjecture holds for linear idempotent varieties. ⋮ Universal algebras ⋮ Supernilpotent Taylor algebras are nilpotent ⋮ Unnamed Item ⋮ DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS ⋮ Mal'tsev conditions, lack of absorption, and solvability. ⋮ On the complexity of the Leibniz hierarchy ⋮ Taylor's modularity conjecture and related problems for idempotent varieties ⋮ The category of varieties and interpretations is alg-universal ⋮ Non-covering in the interpretability lattice of equational theories ⋮ On algebras and varieties with semilattice reducts ⋮ The poset of all logics. III: Finitely presentable logics ⋮ Accessible set functors are universal ⋮ Mal'tsev condition satisfaction problems for conditions which imply edge terms ⋮ Congruence permutability is prime ⋮ Two-element structures modulo primitive positive constructability ⋮ The shape of congruence lattices ⋮ On algebras and clones ⋮ Remarks and problems on a lattice of equational chapters ⋮ On prevarieties of logic ⋮ Simple equations on real intervals ⋮ Formalization of universal algebra in Agda ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ Interpretations of module varieties ⋮ Characterizations of several Maltsev conditions. ⋮ On the use of majority for investigating primeness of 3-permutability ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY

This page was built for publication: The lattice of interpretability types of varieties