Geodesic
Finitely related algebras in congruence modular varieties have few subpowers
Journal of the European Mathematical Society, Tome 20 (2018) no. 6, pp. 1439-1471.

Voir la notice de l'article provenant de la source EMS Press

We show that every finite algebra which is finitely related and lies in a congruence modular variety has few subpowers. This result, combined with other theorems, has interesting consequences for the complexity of several computational problems associated to finite relational structures: the constraint satisfaction problem, the primitive positive formula comparison problem, and the learnability problem for primitive positive formulas. Another corollary is that it is decidable whether an algebra given by a set of relations has few subpowers.
DOI : 10.4171/jems/790
Classification : 08-XX, 68-XX
Keywords: Finitely related algebra, congruence modular variety, Gumm terms, few subpowers, cube terms 
@article{JEMS_2018_20_6_a2,
     author = {Libor Barto},
     title = {Finitely related algebras in congruence modular varieties have few subpowers},
     journal = {Journal of the European Mathematical Society},
     pages = {1439--1471},
     publisher = {mathdoc},
     volume = {20},
     number = {6},
     year = {2018},
     doi = {10.4171/jems/790},
     url = {http://geodesic.mathdoc.fr/articles/10.4171/jems/790/}
}
TY  - JOUR
AU  - Libor Barto
TI  - Finitely related algebras in congruence modular varieties have few subpowers
JO  - Journal of the European Mathematical Society
PY  - 2018
SP  - 1439
EP  - 1471
VL  - 20
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4171/jems/790/
DO  - 10.4171/jems/790
ID  - JEMS_2018_20_6_a2
ER  - 
%0 Journal Article
%A Libor Barto
%T Finitely related algebras in congruence modular varieties have few subpowers
%J Journal of the European Mathematical Society
%D 2018
%P 1439-1471
%V 20
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4171/jems/790/
%R 10.4171/jems/790
%F JEMS_2018_20_6_a2
Libor Barto. Finitely related algebras in congruence modular varieties have few subpowers. Journal of the European Mathematical Society, Tome 20 (2018) no. 6, pp. 1439-1471. doi : 10.4171/jems/790. http://geodesic.mathdoc.fr/articles/10.4171/jems/790/

Cité par Sources :