| Заглавие | 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 Page | 137 |
| Pagination | 137-152 |
| ISSN | 1313-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. |
| DOI | 10.60063/GSU.FMI.112.137-152 |
| Прикачен файл | Размер |
|---|---|
| 583.64 KB |