On the isomorphism problem for commutative semigroups. (English) Zbl 0302.20050
MSC:
| 20M10 | General structure theory for semigroups |
| 20M15 | Mappings of semigroups |
| 15B36 | Matrices of integers |
| 15A24 | Matrix equations and identities |
| 20M05 | Free semigroups, generators and relations, word problems |
| 03D99 | Computability and recursion theory |
| 20A10 | Metamathematical considerations in group theory |
