В. Г. Дурнев, “Неразрешимость простого фрагмента позитивной теории с одной константой свободной полугруппы ранга 2”, Матем. заметки, 2000, том 67, выпуск 2,страницы 191

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

Неразрешимость простого фрагмента позитивной теории с одной константой свободной полугруппы ранга 2

В. Г. Дурнев

Ярославский государственный университет им. П. Г. Демидова

Аннотация: В статье исследуется алгоритмическая природа некоторых “простых” фрагментов позитивных теорий с “малым” числом констант свободных нециклических полугрупп.
Библиография: 9 названий.

УДК: 510

Поступило: 27.04.1998
Исправленный вариант: 08.09.1999

DOI: 10.4213/mzm827