Hyperdecidability of pseudovarieties of orthogroups

• Tipo: Artigo em Revista Científica Internacional
• Data: 2001

Autores

Almeida, J (Autor) FCUP; Trotter, PG (Autor) Outra

Revista

Título: Glasgow Mathematical Journal

Vol. 43

Páginas: 67-83

ISSN: 0017-0895

Editora: Cambridge University Press

Indexação

ISI Web of Knowledge - 8 Citações

Scopus - 7 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Matemática

Outras Informações

ID Authenticus: P-000-X59

Abstract (EN): 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica