Almost zero and high $\omega$-Turing degrees

ЗаглавиеAlmost zero and high $\omega$-Turing degrees
Вид публикацияJournal Article
Година на публикуване2025
АвториSariev A
СписаниеAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
Том112
Start Page137
Pagination137-152
ISSN1313-9215 (Print) 2603-5529 (Online)
ключови думиdefinability, degree structures, Turing reducibility
Резюме

We show that the class of the high degrees is definable in the terms of the almost zero degrees in the local substructure of the $\omega$-Turing degrees. Namely, we prove that a degree is high if and only if it bounds all almost zero degrees.

DOI10.60063/GSU.FMI.112.137-152
Прикачен файлРазмер
PDF icon 112-137-152.pdf583.64 KB