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

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

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

Аннотация

Строится разрешимая простая модель, у которой степень множества полных формул равна 0′, каждой полной формуле удовлетворяет бесконечно много наборов элементов, при этом спектр разрешимой категоричности совпадает с множеством всех PA-степеней.
Переведенное названиеО степени разрешимой категоричности модели с бесконечными решениями для полных формул
Язык оригиналаанглийский
ЖурналAlgebra and Logic
DOI
СостояниеОпубликовано - 5 ноя 2021

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

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

Fingerprint

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

Цитировать