×

zbMATH — the first resource for mathematics

Solvability of the positive theory of free countably generated semigroups. (Russian) Zbl 0472.20020

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