С. С. Гончаров, М. И. Марчук, “О степени разрешимой категоричности модели с бесконечными решениями для полных формул”, Алгебра и логика, 2021, том 60, номер 3,страницы 303

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

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

С. С. Гончаров^ab, М. И. Марчук^a

^a Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
^b Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ

Аннотация: Строится разрешимая простая модель, у которой степень множества полных формул равна $\mathbf{0}'$, каждой полной формуле удовлетворяет бесконечно много наборов элементов, при этом спектр разрешимой категоричности совпадает с множеством всех $PA$-степеней.

Ключевые слова: вычислимая модель, разрешимая модель, вычислимая категоричность, разрешимая категоричность, автоустойчивость относительно сильных конструктивизаций, степень разрешимой категоричности, спектр разрешимой категоричности, $PA$-степень.

УДК: 510.5+512.563

Поступило: 15.07.2021
Окончательный вариант: 18.10.2021