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 Costa | 1 | 17 | 4.57 |
Conceição Nogueira | 2 | 4 | 1.29 |