On the hyperdecidability of semidirect products of pseudovarieties

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

Autores

Almeida, J (Autor) FCUP; Silva, PV (Autor) FCUP

Revista

Título: Communications in Algebra

Vol. 26 Nº 12

Páginas: 4065-4077

ISSN: 0092-7872

Editora: Taylor & Francis

Indexação

ISI Web of Knowledge - 9 Citações

ISI Web of Science

Scopus - 10 Citações

Classificação Científica

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

Outras Informações

ID Authenticus: P-001-8WC

DOI: 10.1080/00927879808826395

Abstract (EN): The notion of hyperdecidability has been introduced as a tool which is particularly suited for granting decidability of semidirect products. It is shown in this paper that the semidirect product of an hyperdecidable pseudovariety with a pseudovariety whose finitely generated tree objects are finite and effectively computable is again hyperdecidable. As instances of this result, one obtains, for example, the hyperdecidability of the pseudovarieties of all finite completely simple semigroups and of all finite bands of left groups.

Idioma: Inglês

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