ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2002, ТОМ 8, ВЫПУСК 3, СТР. 829-876
В. Ю. Попов
Аннотация
Посмотреть как HTML
Посмотреть как рисунок
Посмотреть в формате LaTeX
Доказано, что существует конечно базируемое многообразие
моноидов $\mathfrak Z$ , такое что не существует алгоритма,
определяющего по произвольной рекурсивной системе полугрупповых
тождеств, обладает ли многообразие моноидов, заданное этой
системой в многообразии $\mathfrak Z$ , независимым базисом.
Не существует алгоритма, определяющего по произвольной бесконечной
рекурсивной системе полугрупповых тождеств, будет ли многообразие
моноидов, заданное этой системой тождеств, конечно базируемо.
Полнотекстовая версия статьи в формате PostScript (178 Kb)
| Главная страница | Содержание журнала | Новости | Поиск |
URL страницы: http://mech.math.msu.su/~fpm/rus/k02/k023/k02313t.htm.
Изменения вносились 17 февраля 2003 г.