Open AccessО «простых» алгоритмически неразрешимых фрагментах элементарной теории бесконечно порожденной свободной полугруппы
Author(s) -
Валерий Георгиевич Дурнев,
О. В. Зеткина,
A. I. Zetkina
Publication year - 2020
Publication title -
čebyševskij sbornik
Language(s) - Russian
Resource type - Journals
SCImago Journal Rank - 0.273
H-Index - 6
eISSN - 2587-7119
pISSN - 2226-8383
DOI - 10.22405/2226-8383-2020-21-4-56-71
Subject(s) - existential quantification , philosophy , linguistics
В статье доказана алгоритмическая неразрешимость $\exists \forall^2 \exists^3$-теории свободной полугрупп счетного ранга, что усиливает классический результатВ.~Куайна [1] 1946 года об алгоритмической неразрешимости элементарной теории любой нециклической свободной полугруппы.