×

zbMATH — the first resource for mathematics

Decidability of the positive theory of a free countably generated semigroup. (English) Zbl 0497.20046

MSC:
20M05 Free semigroups, generators and relations, word problems
03B25 Decidability of theories and sets of sentences
PDF BibTeX Cite
Full Text: DOI