Maróti, Miklós (2007) On the (un)decidability of a near-unanimity term. Algebra Universalis, 57 (2). pp. 215-237. ISSN 0002-5240
|
Text
1116613.pdf Download (241kB) | Preview |
Official URL: http://dx.doi.org/10.1007/s00012-007-2037-x
Abstract
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.
Item Type: | Article |
---|---|
Subjects: | Q Science / természettudomány > QA Mathematics / matematika Q Science / természettudomány > QA Mathematics / matematika > QA72 Algebra / algebra |
Depositing User: | Erika Bilicsi |
Date Deposited: | 04 Apr 2013 09:51 |
Last Modified: | 04 Apr 2013 09:51 |
URI: | http://real.mtak.hu/id/eprint/4592 |
Actions (login required)
Edit Item |