О «простых» алгоритмически неразрешимых фрагментах элементарной теории бесконечно порожденной свободной полугруппы
https://doi.org/10.22405/2226-8383-2020-21-4-56-71
Аннотация
В статье доказана алгоритмическая неразрешимость $\exists \forall^2 \exists^3$-теории свободной полугрупп счетного ранга, что усиливает классический результат
В.~Куайна [1] 1946 года об алгоритмической неразрешимости элементарной теории любой нециклической свободной полугруппы.
Об авторах
Валерий Георгиевич Дурнев
Ярославский государственный университет имени П. Г. Демидова
Россия
доктор физико-математических наук, профессор
Россия
доктор физико-математических наук, профессор
Оксана Валерьевна Зеткина
Ярославский государственный университет имени П. Г. Демидова
Россия
кандидат экономических наук, доцент
Россия
кандидат экономических наук, доцент
Алена Игоревна Зеткина
Ярославский государственный университет имени П. Г. Демидова
Россия
ассистент
Россия
ассистент
Рецензия
Для цитирования:
Дурнев В.Г., Зеткина О.В., Зеткина А.И. О «простых» алгоритмически неразрешимых фрагментах элементарной теории бесконечно порожденной свободной полугруппы. Чебышевский сборник. 2020;21(4):56-71. https://doi.org/10.22405/2226-8383-2020-21-4-56-71
For citation:
Durnev V.G., Zetkina O.V., Zetkina A.I. On “simple” algorithmically undecidable fragments of elementary theory of an infinitely generated free semigroup. Chebyshevskii Sbornik. 2020;21(4):56-71. (In Russ.) https://doi.org/10.22405/2226-8383-2020-21-4-56-71
Просмотров: 233
Послать статью по эл. почте 