Geodesic
Finitely Related Algebras in CongruenceDistributive Varieties Have Near UnanimityTerms
Canadian journal of mathematics, Tome 65 (2013) no. 1, pp. 3-21

Voir la notice de l'article provenant de la source Cambridge

DOI

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.
DOI : 10.4153/CJM-2011-087-3
Mots-clés : 08B05, 08B10, congruence distributive variety, Jόnsson operations, near unanimity operation, finitely related algebra, constraint satisfaction problem 
Barto, Libor. Finitely Related Algebras in CongruenceDistributive Varieties Have Near UnanimityTerms. Canadian journal of mathematics, Tome 65 (2013) no. 1, pp. 3-21. doi: 10.4153/CJM-2011-087-3
@article{10_4153_CJM_2011_087_3,
     author = {Barto, Libor},
     title = {Finitely {Related} {Algebras} in {CongruenceDistributive} {Varieties} {Have} {Near} {UnanimityTerms}},
     journal = {Canadian journal of mathematics},
     pages = {3--21},
     year = {2013},
     volume = {65},
     number = {1},
     doi = {10.4153/CJM-2011-087-3},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-2011-087-3/}
}
TY  - JOUR
AU  - Barto, Libor
TI  - Finitely Related Algebras in CongruenceDistributive Varieties Have Near UnanimityTerms
JO  - Canadian journal of mathematics
PY  - 2013
SP  - 3
EP  - 21
VL  - 65
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-2011-087-3/
DO  - 10.4153/CJM-2011-087-3
ID  - 10_4153_CJM_2011_087_3
ER  - 
%0 Journal Article
%A Barto, Libor
%T Finitely Related Algebras in CongruenceDistributive Varieties Have Near UnanimityTerms
%J Canadian journal of mathematics
%D 2013
%P 3-21
%V 65
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-2011-087-3/
%R 10.4153/CJM-2011-087-3
%F 10_4153_CJM_2011_087_3

Cité par Sources :