| Title | Definability issues in the ω-Turing degrees |
| Publication Type | Journal Article |
| Year of Publication | 2018 |
| Authors | Sariev A, Ganchev H |
| Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Volume | 105 |
| Start Page | 45 |
| Pagination | 45-54 |
| ISSN | 1313-9215 (Print), ISSN 2603-5529 (Online) |
| Keywords | definability, degree structures, jump, Turing reducibility, ω-Turing degrees |
| Abstract | 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 |
| Attachment | Size |
|---|---|
 105-045-054.pdf | 344.29 KB |