Abstract (EN):
In this paper we prove that the pseudovariety of Abelian groups is hyperdecidable and moreover that it is completely tame. This is a consequence of the fact that a system of group equations on a free Abelian group with certain rational constraints is solvable if and only if it is solvable in every finite quotient.
Idioma:
Inglês
Tipo (Avaliação Docente):
Científica
Contacto:
jalmeida@fc.up.pt; mdelgado@fc.up.pt