Deciding the existence of quasiweak near unanimity terms in finite algebras

MaRDI QIDQ5863602zbMATH OpenFDO

Authors Alexandr Kazda

Publication date 3 June 2022

Full work available at URL https://arxiv.org/abs/2002.06083, https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-36-number-4-5-2021/mvlsc-36-4-5-p-337-352/

zbMATH Keywords

computational complexitylocal to globalMaltsev conditionTaylor termweak near unanimity

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Operations and polynomials in algebraic structures, primal algebras (08A40) Equational logic, Mal'tsev conditions (08B05) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• The existence of a near-unanimity term in a finite algebra is decidable
• On the (un)decidability of a near-unanimity term
• Existence of cube terms in finite algebras
• Finitely related algebras in congruence distributive varieties have near unanimity terms
• The existence of a near-unanimity function is decidable

Cites work

• A strong Mal'cev condition for locally finite varieties omitting the unary type
• A Subalgebra Intersection Property for Congruence Distributive Varieties
• Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem
• Computational complexity of various Mal'cev conditions
• DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
• Deciding the existence of minority terms
• Existence theorems for weakly symmetric operations
• Loop conditions for strongly connected digraphs
• ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS
• The structure of finite algebras
• The wonderland of reflections
• Varieties Obeying Homotopy Laws

Cited in

(4)

• On the (un)decidability of a near-unanimity term
• The existence of a near-unanimity term in a finite algebra is decidable
• Local–global property for G-invariant terms
• Deciding the existence of quasi weak near unanimity terms in finite algebras

This page was built for publication: Deciding the existence of quasiweak near unanimity terms in finite algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5863602)