Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.

DOI10.1007/s00012-014-0289-9zbMath1305.08008OpenAlexW2009379153MaRDI QIDQ2510719

Ralph McKenzie, Petar Marković, Keith A. Kearnes

Publication date: 1 August 2014

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

Full work available at URL: https://doi.org/10.1007/s00012-014-0289-9

zbMATH Keywords

tame congruence theorylocally finite varietiesTaylor termsstrong Malcev conditions

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Operations and polynomials in algebraic structures, primal algebras (08A40) Finitary algebras (08A62)

Related Items

Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties, A complexity dichotomy for signed \(\mathbf{H}\)-colouring, Unnamed Item, Unnamed Item, The smallest hard trees, Simpler Maltsev conditions for (weak) difference terms in locally finite varieties, Universal algebraic methods for non-classical logics, The wonderland of reflections, Taylor term does not imply any nontrivial linear one-equality Maltsev condition, The Complexity of Valued CSPs, The structure of polynomial operations associated with smooth digraphs., A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties, Loop conditions, Pseudo‐loop conditions, Loop conditions for strongly connected digraphs, Random models of idempotent linear Maltsev conditions. I. Idemprimality, The local loop lemma, Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems), Unnamed Item, Testing the Complexity of a Valued CSP Language, Unnamed Item, A note on the weakest Taylor term, MALTSEV CONDITIONS FOR GENERAL CONGRUENCE MEET-SEMIDISTRIBUTIVE ALGEBRAS, Characterizations of several Maltsev conditions.

Cites Work

• Unnamed Item
• Unnamed Item
• A strong Mal'cev condition for locally finite varieties omitting the unary type
• Existence theorems for weakly symmetric operations
• On the complexity of H-coloring
• Characterizations of several Maltsev conditions.
• Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem
• Varieties with few subalgebras of powers
• The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell)
• The structure of finite algebras
• Varieties Obeying Homotopy Laws
• Duality and Polynomial Testing of Tree Homomorphisms