Maróti, Miklós (2007) On the (un)decidability of a nearunanimity term. Algebra Universalis, 57 (2). pp. 215237. ISSN 00025240

Text
1116613.pdf Download (241kB)  Preview 
Official URL: http://dx.doi.org/10.1007/s000120072037x
Abstract
We investigate the nearunanimity problem: given a finite algebra, decide if it has a nearunanimity term of finite arity. We prove that it is undecidable of a finite algebra if it has a partial nearunanimity 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 