Definability issues in the ω-Turing degrees

Заглавие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
Start Page45
ISSN1313-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

Прикачен файлРазмер
PDF icon 105-045-054.pdf344.29 KB