Filters








2 Hits in 1.3 sec

TAMENESS OF THE PSEUDOVARIETY LS1

J. C. COSTA, M. L. TEIXEIRA
2004 International journal of algebra and computation  
In this paper we prove that the pseudovariety LSl, of local semilattices, is κ-tame.  ...  The notion of κ-tameness of a pseudovariety was introduced by Almeida and Steinberg and is a strong property which implies decidability of pseudovarieties.  ...  Some pseudovarieties are already known to be tame such as, for example: G, the pseudovariety of all finite groups (consequence of the interpretation of Ash's results [10] ); Ab [6] , the pseudovariety  ... 
doi:10.1142/s0218196704001955 fatcat:haqqp5lwgjaojepebql46qjbee

COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1

JOSÉ CARLOS COSTA, CONCEIÇÃO NOGUEIRA
2009 International journal of algebra and computation  
The pseudovariety Ab of all finite abelian groups is completely κ-tame [9] .  ...  It is known, for instance, that the pseudovariety G of all finite groups is κ-tame [12, 3, 10] but it is not completely κ-tame [16] .  ...  The work of the first author was supported, in part, by Fundação para a Ciência e a Tecnologia (FCT) through the Centro de Matemática da Universidade do Minho, which is partly funded by the European Community  ... 
doi:10.1142/s021819670900507x fatcat:yseeuvsfdjfk3jrmi2vzu3rzf4