|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Дурнев В. Г. Неразрешимость позитивной $\forall \exists ^3$-теории свободной полугруппы //
Том 36 (1995), Номер 5,
стр. 10671080
Доказывается алгоритмическая неразрешимость позитивной $\forall \exists ^3$-теории свободной полугруппы. Исследуются некоторые алгоритмические проблемы для диофантовых множеств в свободных полугруппах. Показывается, что для удаления знака дизъюнкции из формулы, относящейся к свободной полугруппе, достаточно двух новых переменных. Библиогр.~19.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|