С. С. Марченков, “Неразрешимость позитивной $\forall\exists$-теории свободной полугруппы”, Сиб. матем. журн., 1982, том 23, номер 1,страницы 196

Эта публикация цитируется в 4 статьях

Отдел заметок

Неразрешимость позитивной $\forall\exists$-теории свободной полугруппы

С. С. Марченков

Институт прикладной математики им. М. В. Келдыша АН СССР, г. Москва

Аннотация: При любом $n\ge2$ доказывается алгоритмическая неразрешимость $\forall\exists$-теории свободной полугруппы с $n$ образующим.
Библ. 6.

УДК: 517.11

Статья поступила: 20.05.1980