Special Issue: International Conference on Semigroups and Groups in Honor of the 65th Birthday of Prof. John RhodesNo Access

TAMENESS OF THE PSEUDOVARIETY LS1

J. C. COSTA

Centro de Matemática da Universidade do Minho, Campus de Gualtar, 4700-320 Braga, Portugal

Search for more papers by this author

and

M. L. TEIXEIRA

Centro de Matemática da Universidade do Minho, Campus de Gualtar, 4700-320 Braga, Portugal

Search for more papers by this author

https://doi.org/10.1142/S0218196704001955Cited by:7 (Source: Crossref)

Abstract

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.

Keywords:

AMSC: 20M05, 20M07, 20M35

References

D. Albert, R. Baldinger and J. Rhodes, J. Symb. Logic 57, 179 (1992). Crossref, Web of Science, Google Scholar
J. Almeida , Finite Semigroups and Universal Algebra ( World Scientific , Singapore , 1995 ) . Link, Google Scholar
J. Almeida, Int. J. Algebra Comput. 9, 241 (1999). Link, Web of Science, Google Scholar
J. Almeida, Semigroup Forum 64, 159 (2002). Crossref, Web of Science, Google Scholar
J. Almeida, Semigroups, Algorithms, Automata and Languages, ed. G. Gomes (World Scientific, 2002) pp. 3–64. Link, Google Scholar
J. Almeida and M. Delgado, Tameness of the pseudovariety of abelian groups, to appear in Int. J. Algebra Comput . Google Scholar
J. Almeida and B. Steinberg, Proc. London Math. Soc. 80, 50 (2000). Crossref, Web of Science, Google Scholar
J. Almeida and P. Weil, Semigroups, Formal Languages and Groups, ed. J. Fountain (Kluwer, 1995) pp. 73–117. Crossref, Google Scholar
J. Almeida and M. Zeitoun, Commun. Algebra 31, 61 (2003). Crossref, Web of Science, Google Scholar
C. Ash, Int. J. Algebra Comput. 1, 127 (1991). Link, Google Scholar
J. Brozozowski and I. Simon, Discrete Math. 4, 243 (1973). Crossref, Google Scholar
J. C. Costa, J. Pure Appl. Algebra 163, 19 (2001). Crossref, Web of Science, Google Scholar
J. C. Costa, Commun. Algebra 32, 3517 (2004). Crossref, Web of Science, Google Scholar
S. Eilenberg , Automata, Languages and Machines B ( Academic Press , New York , 1976 ) . Google Scholar
K. Krohn and J. Rhodes, Trans. Amer. Math. Soc. 116, 450 (1965). Crossref, Web of Science, Google Scholar
R. McNaughton, Math. Syst. Theory 8, 60 (1974). Crossref, Google Scholar
J.-E. Pin , Variétés de Langages Formels ( Masson , Paris , 1984 ) . Google Scholar
J. Reiterman, Algebra Universalis 14, 1 (1982). Crossref, Web of Science, Google Scholar
J. Rhodes, Int. J. Algebra Comput. 9, 455 (1999). Link, Web of Science, Google Scholar