TAMENESS OF THE PSEUDOVARIETY LS1
José Carlos Costa, M. L. Teixeira · International Journal of Algebra and Computation · 2004
The notion of κ-tameness of a pseudovariety was introduced by Almeida and Steinberg and is a strong property which implies decidability of pseudovarieties. In this paper we prove that the pseudovariety LSl, of local semilattices, is κ-tame.