Abstract (EN):
Tameness is a strong property of semigroup pseudovarieties related to the membership problem. Let kappa be the signature comprising semigroup multiplication and the omega implicit operation. We prove the kappa-tameness of the pseudovarieties N, D, K and LI.
Language:
English
Type (Professor's evaluation):
Scientific