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

• Autores: Miklós Maróti
• Localización: Algebra universalis, ISSN 0002-5240, Vol. 57, Nº. 2, 2007, págs. 215-237
• Idioma: inglés
• DOI: 10.1007/s00012-007-2037-x
• Texto completo no disponible (Saber más ...)
• Resumen

  • We investigate the near-unanimity problem: given a finite algebra, decide if it has a near-unanimity term of finite arity. We prove that it is undecidable of a finite algebra if it has a partial near-unanimity term on its underlying set excluding two fixed elements. On the other hand, based on Rosenberg�s characterization of maximal clones, we present partial results towards proving the decidability of the general problem.