Tameness of Some Locally Trivial Pseudovarieties
Jorge Almeida, Marc Zeitoun · Communications in Algebra · 2003
Tameness is a strong property of semigroup pseudovarieties related to the membership problem. Let κ be the signature comprising semigroup multiplication and the omega implicit operation. We prove the κ-tameness of the pseudovarieties N, D, K and LI.