О конечно базируемых обогащениях рекурсивно перечислимых полугрупп

Каждая рекурсивная универсальная алгебра имеет конечно базируемое обогащение. С другой стороны, существуют примеры конечно порождённых, рекурсивно перечислимых, универсальных алгебр без конечно базируемых обогащений. Естественно возникает вопрос о том, существуют ли подобные примеры в хорошо известных классах алгебр, таких как группы и полугруппы. Здесь строится пример конечно порождённой, бесконечной, рекурсивно перечислимой полугруппы без конечно базируемых обогащений. Кроме того, рассматриваются другие интересные теоретико рекурсивные свойства этой полугруппы.