The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas

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

Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

Аннотация

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

Предметные области OECD FOS+WOS

  • 1.01 МАТЕМАТИКА

Fingerprint

Подробные сведения о темах исследования «О степени разрешимой категоричности модели с бесконечными решениями для полных формул». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать