Title
On bases of identities for the omega-variety generated by locally testable semigroups
Abstract
Let LSl be the pseudovariety of local semilattices. It is well known that this pseudovariety coincides with the class of locally testable semigroups. In this paper, we exhibit an infinite basis of ω-identities for the ω-variety generated by LSl and we show that this ω-variety is not finitely based.
Year
DOI
Venue
2008
10.1016/j.tcs.2008.04.043
Theoretical Computer Science
Keywords
DocType
Volume
Semigroup,Pseudovariety,Locally testable,Omega-term,Word problem,Identity basis
Journal
401
Issue
ISSN
Citations 
1
0304-3975
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
José Carlos Costa1174.57
Conceição Nogueira241.29