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