Профиль » Публикация
Опубликовано
2002-00-00
ЖурналФундаментальная и прикладная математика
О независимо базируемых многообразиях моноидов
В. Ю. Попов. О независимо базируемых многообразиях моноидов. // Фундаментальная и прикладная математика
2002, том 8, Выпуск 3, стр. 829-876. - Режим доступа: http://mech.math.msu.su/~fpm/rus/
Аннотация
Доказано, что существует конечно базируемое многообразие моноидов $ mathfrak Z $, такое что не существует алгоритма, определяющего по произвольной рекурсивной системе полугрупповых тождеств, обладает ли многообразие моноидов, заданное этой системой в многообразии $ mathfrak Z $, независимым базисом. Не существует алгоритма, определяющего по произвольной бесконечной рекурсивной системе полугрупповых тождеств, будет ли многообразие моноидов, заданное этой системой тождеств, конечно базируемо.
http://mech.math.msu.su/~fpm/ps/k02/k023/k02313.zip
Показать статистику Комментарии
Вам необходимо зайти или зарегистрироваться для комментирования
Этот комментарий был удален
Этот комментарий был удален
