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 complexityMaltsev conditionlocal to globalweak near unanimityTaylor term

Mathematics Subject Classification ID

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

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 Subalgebra Intersection Property for Congruence Distributive Varieties
• A strong Mal'cev condition for locally finite varieties omitting the unary type
• 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
• Local–global property for G-invariant terms
• Deciding the existence of quasi weak near unanimity terms in finite algebras
• The existence of a near-unanimity term in a finite algebra is decidable

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)