| Заглавие | Definability issues in the ω-Turing degrees |
| Вид публикация | Journal Article |
| Година на публикуване | 2018 |
| Автори | Sariev A, Ganchev H |
| Списание | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Том | 105 |
| Start Page | 45 |
| Pagination | 45-54 |
| ISSN | 1313-9215 (Print), ISSN 2603-5529 (Online) |
| ключови думи | definability, degree structures, jump, Turing reducibility, ω-Turing degrees |
| Резюме | We show the equivalence of the first order definabilities of the jump of the least element and of the jump operator in the upper semilattice of the ω-Turing degrees. |
| 2000 MSC | 03D28, 03D30 |
| Прикачен файл | Размер |
|---|---|
 105-045-054.pdf | 344.29 KB |