Аннотация:
Исследуются классы тьюринговых степеней, содержащиеся в нетривиальных спектрах предельной монотонности. В частности, доказано, что спектры предельной монотонности $\Sigma^0_2$-множеств имеют ко-первую категорию. Кроме того, построено $\Sigma^0_2$-множество, спектр предельной монотонности которого имеет меру нуль.
Ключевые слова:вычислимые функции, $\Sigma^0_2$-множества, предельно монотонные множества, тьюринговы степени.
Полный текст:
PDF файл (230 kB)