FINITE SEMIGROUPS AND DECIDABILITY OF AMALGAMATION BASES FOR SEMIGROUPS

摘要

In this paper, we prove that the decision problem of whether or not a finite semigroup S is an amalgamation base for all semigroups is decidable.