On the (un)decidability of a near-unanimity term

DOI10.1007/S00012-007-2037-XMaRDI QIDQ2474099zbMATH OpenOpenAlexFDO

Authors M. Maróti

Publication date 5 March 2008

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL http://real.mtak.hu/4592/1/1116613.pdf

zbMATH Keywords

idempotentdecidabilityclonemaximal clonenear-unanimity termnear-unanimity problemstrictly simple

Mathematics Subject Classification ID

Structure theory of algebraic structures (08A05) Operations and polynomials in algebraic structures, primal algebras (08A40)

Recommendations

• The existence of a near-unanimity function is decidable
• The existence of a near-unanimity term in a finite algebra is decidable
• The undecidability of the semi-unification problem
• scientific article; zbMATH DE number 4031659
• scientific article; zbMATH DE number 176152
• Deciding the existence of quasiweak near unanimity terms in finite algebras
• The undecidability of the D_A-unification problem
• scientific article; zbMATH DE number 4031661
• On the question of absolute undecidability

Cited in

(15)

• scientific article; zbMATH DE number 4045812 (Why is no real title available?)
• Finite degree clones are undecidable
• Finitely generated clones of terms
• Between an n-ary and an n + 1-ary near-unanimity term
• Decidability of absorption in relational structures of bounded width.
• Finitely related algebras in congruence distributive varieties have near unanimity terms
• Preserving near unanimity terms under products
• Deciding the existence of minority terms
• Existence of cube terms in finite algebras
• scientific article; zbMATH DE number 4154512 (Why is no real title available?)
• Unequivocal majority and Maskin-monotonicity
• The existence of a near-unanimity term in a finite algebra is decidable
• Near-unanimity is decomposable
• A characterization of completeness of blockability relations with respect to unanimity
• The existence of a near-unanimity function is decidable

This page was built for publication: On the (un)decidability of a near-unanimity term

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