Mal'tsev conditions, lack of absorption, and solvability.

DOI10.1007/s00012-015-0338-zzbMath1323.08004OpenAlexW2253270855MaRDI QIDQ494634

David Stanovský, Marcin Kozik, Libor Barto

Publication date: 1 September 2015

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

Full work available at URL: https://doi.org/10.1007/s00012-015-0338-z

zbMATH Keywords

locally finite varietiesaffine algebrascube termsMal'tsev conditionssolvable algebrasTaylor terms

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Structure theory of algebraic structures (08A05)

Related Items (9)

Infinite idempotent quasi-affine algebras need not be hereditarily absorption free ⋮ Deciding absorption in relational structures ⋮ On the complexity of \(\mathbb{H}\)-coloring for special oriented trees ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Decidability of absorption in relational structures of bounded width. ⋮ Solving CSPs Using Weak Local Consistency ⋮ Characterizations of several Maltsev conditions.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finitely related clones and algebras with cube terms.
• Existence theorems for weakly symmetric operations
• Characterizations of several Maltsev conditions.
• Dualizable algebras with parallelogram terms
• Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem
• Constraint Satisfaction Problems Solvable by Local Consistency Methods
• The lattice of interpretability types of varieties
• Varieties with few subalgebras of powers
• Embedding general algebras into modules
• The structure of finite algebras
• Varieties Obeying Homotopy Laws
• The Relationship Between Two Commutators
• A finite basis theorem for residually finite, congruence meet-semidistributive varieties
• Classifying the Complexity of Constraints Using Finite Algebras
• Tractability and Learnability Arising from Algebras with Few Subpowers

This page was built for publication: Mal'tsev conditions, lack of absorption, and solvability.