|
Алгебра и логика, 2012, том 51, номер 5, страницы 652–667
(Mi al556)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
О конечно базируемых обогащениях рекурсивно перечислимых полугрупп
Д. Р. Хиршвельдa, Б. Хусаиновb a Dep. Math., Univ. Chicago, Chicago, IL, USA
b Dep. Comput. Sci., Univ. Auckland, Auckland, NEW ZEALAND
Аннотация:
Каждая рекурсивная универсальная алгебра имеет конечно базируемое обогащение. С другой стороны, существуют примеры конечно порождённых, рекурсивно перечислимых, универсальных алгебр без конечно базируемых обогащений. Естественно возникает вопрос о том, существуют ли подобные примеры в хорошо известных классах алгебр, таких как группы и полугруппы. Здесь строится пример конечно порождённой, бесконечной, рекурсивно перечислимой полугруппы без конечно базируемых обогащений. Кроме того, рассматриваются другие интересные теоретико рекурсивные свойства этой полугруппы.
Ключевые слова:
рекурсивно перечислимая полугруппа, конечно базируемое обогащение.
Поступило: 16.12.2011
Образец цитирования:
Д. Р. Хиршвельд, Б. Хусаинов, “О конечно базируемых обогащениях рекурсивно перечислимых полугрупп”, Алгебра и логика, 51:5 (2012), 652–667; Algebra and Logic, 51:5 (2012), 435–444
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al556 https://www.mathnet.ru/rus/al/v51/i5/p652
|
Статистика просмотров: |
Страница аннотации: | 239 | PDF полного текста: | 66 | Список литературы: | 51 | Первая страница: | 8 |
|