Geodesic
Hyperdecidability of pseudovarieties of orthogroups
Glasgow mathematical journal, Tome 43 (2001) no. 1, pp. 67-83

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

Let W denote the intersection with the pseudovariety of completely regular semigroups of the Mal'cev product of the pseudovariety of bands with a pseudovariety V of completely regular semigroups. It is shown that the (pseudo)word problem for W is reduced to that for V in such a way that decidability is preserved in the case in which terms involving only multiplication and weak inversion are considered. It is also shown that, if V is a hyperdecidable (respectively canonically reducible) pseudovariety of groups, then so is W. 
Almeida, Jorge; Trotter, Peter G. Hyperdecidability of pseudovarieties of orthogroups. Glasgow mathematical journal, Tome 43 (2001) no. 1, pp. 67-83. doi: 10.1017/S0017089501010060
@article{10_1017_S0017089501010060,
     author = {Almeida, Jorge and Trotter, Peter G.},
     title = {Hyperdecidability of pseudovarieties of orthogroups},
     journal = {Glasgow mathematical journal},
     pages = {67--83},
     year = {2001},
     volume = {43},
     number = {1},
     doi = {10.1017/S0017089501010060},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/S0017089501010060/}
}
TY  - JOUR
AU  - Almeida, Jorge
AU  - Trotter, Peter G.
TI  - Hyperdecidability of pseudovarieties of orthogroups
JO  - Glasgow mathematical journal
PY  - 2001
SP  - 67
EP  - 83
VL  - 43
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.1017/S0017089501010060/
DO  - 10.1017/S0017089501010060
ID  - 10_1017_S0017089501010060
ER  - 
%0 Journal Article
%A Almeida, Jorge
%A Trotter, Peter G.
%T Hyperdecidability of pseudovarieties of orthogroups
%J Glasgow mathematical journal
%D 2001
%P 67-83
%V 43
%N 1
%U http://geodesic.mathdoc.fr/articles/10.1017/S0017089501010060/
%R 10.1017/S0017089501010060
%F 10_1017_S0017089501010060

Cité par Sources :