×

zbMATH — the first resource for mathematics

Positive theories of free inverse semigroups. (Russian) Zbl 0431.20045

MSC:
20M05 Free semigroups, generators and relations, word problems
20A15 Applications of logic to group theory
03B25 Decidability of theories and sets of sentences
03B30 Foundations of classical theories (including reverse mathematics)
PDF BibTeX XML Cite
Full Text: EuDML