CMS/SMC
Canadian Mathematical Society
www.cms.math.ca
Canadian Mathematical Society
  location:  Publicationsjournals
Publications        
Search results

Search: All articles in the CJM digital archive with keyword Jónsson operations

  Expand all        Collapse all Results 1 - 1 of 1

1. CJM 2011 (vol 65 pp. 3)

Barto, Libor
Finitely Related Algebras in Congruence Distributive Varieties Have Near Unanimity Terms
We show that every finite, finitely related algebra in a congruence distributive variety has a near unanimity term operation. As a consequence we solve the near unanimity problem for relational structures: it is decidable whether a given finite set of relations on a finite set admits a compatible near unanimity operation. This consequence also implies that it is decidable whether a given finite constraint language defines a constraint satisfaction problem of bounded strict width.

Keywords:congruence distributive variety, Jónsson operations, near unanimity operation, finitely related algebra, constraint satisfaction problem
Categories:08B05, 08B10

© Canadian Mathematical Society, 2014 : https://cms.math.ca/