|
Алгебра и логика, 2021, том 60, номер 3, страницы 303–312
(Mi al2665)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
О степени разрешимой категоричности модели с бесконечными решениями для полных формул
С. С. Гончаровab, М. И. Марчукa a Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
b Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
Аннотация:
Строится разрешимая простая модель, у которой степень множества полных формул равна $\mathbf{0}'$, каждой полной формуле удовлетворяет бесконечно много наборов элементов, при этом спектр разрешимой категоричности совпадает с множеством всех $PA$-степеней.
Ключевые слова:
вычислимая модель, разрешимая модель, вычислимая категоричность, разрешимая категоричность, автоустойчивость относительно сильных конструктивизаций, степень разрешимой категоричности, спектр разрешимой категоричности, $PA$-степень.
Поступило: 15.07.2021 Окончательный вариант: 18.10.2021
Образец цитирования:
С. С. Гончаров, М. И. Марчук, “О степени разрешимой категоричности модели с бесконечными решениями для полных формул”, Алгебра и логика, 60:3 (2021), 303–312; Algebra and Logic, 60:3 (2021), 200–206
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2665 https://www.mathnet.ru/rus/al/v60/i3/p303
|
Статистика просмотров: |
Страница аннотации: | 191 | PDF полного текста: | 33 | Список литературы: | 31 | Первая страница: | 4 |
|