Taylor's modularity conjecture holds for linear idempotent varieties.

DOI10.1007/s00012-014-0273-4zbMath1303.08006arXiv1212.5448OpenAlexW1568517186WikidataQ122961663 ScholiaQ122961663MaRDI QIDQ2449452

Luís Sequeira, Wolfram Bentz

Publication date: 8 May 2014

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

Full work available at URL: https://arxiv.org/abs/1212.5448

zbMATH Keywords

derivativescongruence modularitylinear identitiesinterpretability latticecongruence modular varietiesidempotent varieties

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Equational classes, universal algebra in model theory (03C05)

Related Items (5)

On the primeness of locally finite idempotent 3-permutability ⋮ The wonderland of reflections ⋮ Taylor's modularity conjecture and related problems for idempotent varieties ⋮ The poset of all logics. III: Finitely presentable logics ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY

Cites Work

• An easy test for congruence modularity
• A characterization of Hausdorff separation for a special class of varieties
• On the congruence modularity conjecture
• A characterization of \(T_3\) separation for a special class of varieties
• Simple equations on real intervals
• Equations implying congruence \(n\)-permutability and semidistributivity.
• Near-unanimity is decomposable
• The lattice of interpretability types of varieties
• On Malcev conditions

This page was built for publication: Taylor's modularity conjecture holds for linear idempotent varieties.