Аннотация
Строится разрешимая простая модель, у которой степень множества полных формул равна 0′, каждой полной формуле удовлетворяет бесконечно много наборов элементов, при этом спектр разрешимой категоричности совпадает с множеством всех PA-степеней.
Переведенное название | О степени разрешимой категоричности модели с бесконечными решениями для полных формул |
---|---|
Язык оригинала | английский |
Страницы (с-по) | 200-206 |
Число страниц | 7 |
Журнал | Algebra and Logic |
Том | 60 |
Номер выпуска | 3 |
DOI | |
Состояние | Опубликовано - июл. 2021 |
Предметные области OECD FOS+WOS
- 1.01 МАТЕМАТИКА