Imbeddability of recursively presented inverse semigroups into finitely presented ones
The main result is the following: every recursively presented inverse semigroup can be imbedded into a finitely presented inverse semigroup.
scientific article; zbMATH DE number 3867594