Pointlike Sets, Hyperdecidability and the Identity Problem for Finite Semigroups

International Journal of Algebra and Computation

Volumn 9, Issue 3-4, 1999, Pages 475-481

  Rhode, John ^a   Steinberg, Benjamin ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033412148     PISSN: 02181967     EISSN: None     Source Type: Journal    
DOI: 10.1142/s021819679900028x     Document Type: Article

References (13)

1. D. Albert, R. Balsdinger and J. Rhodes, Undecidability of the identity problem for finite semigroups, J. Symb. Logic 57 (1992), 179-192.
2. J. Almeida, Finite semigroups and universal algebra, World Scientific, 1994.
3. J. Almeida, Hyperdecidable pseudovarieties and the calculation of semidirect products, Int. J. Algebra Comput., this issue (1999).
4. J. Almeida and M. Zeitoun, The pseudovariety J is hyperdecidable, Theor. Info. Applications (1998).
5. C. J. Ash, Inevitable Graphs: A proof of the Type II conjecture and some related decision procedures, J. Algebra and Comput. 1 (1991), 127-146.
6. M. Delgado, On the hyperdecidability of pseudovarieties of groups, Int. J. Algebra Comput. (1998).
7. K. Henckell, Pointlike sets: The finest aperiodic cover of a finite semigroup, J. Pure Appl. Algebra 55 (1988), 85-126.
8. K. Henckell, S. Margolis, J.-E. Pin and J. Rhodes, Ash's Type II theorem, profinite topology and Malcev products., Int. J. Algebra and Comput. I (1991), 411-436.
9. J.-E. Pin and P. Weil, Profinite semigroups, Mal'cev products, and identities, J. Algebra 182 (1996), 604-626.
10. J. Rhodes, Undecidability, automata, and pseudovarieties of finite semigroups, Int. J. Algebra and Comput. (1999), this issue (to appear).
11. B. Steinberg, On pointlike sets and joins of pseudovarieties, Int. J. Algebra Comput. 8 (1998), 203-231.
12. B. Steinberg, On algorithmic problems for joins of pseudovarieties, Semigroup Forum, (to appear).
13. P. Weil, Implicit operations on pseudo-varieties: An introduction, Semigroups and Monoids with Applications, ed. J. Rhodes, World Scientific, Singapore, 1991, pp. 89-104.