Preview

Чебышевский сборник

Расширенный поиск

О «простых» алгоритмически неразрешимых фрагментах элементарной теории бесконечно порожденной свободной полугруппы

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

Просмотров: 62


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2226-8383 (Print)