A jump inversion theorem for the infinite enumeration jump

ЗаглавиеA jump inversion theorem for the infinite enumeration jump
Вид публикацияJournal Article
Година на публикуване2008
АвториGanchev H
СписаниеAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
Том98
ключови думиenumeration degrees, enumeration jump, enumeration reducibility, forcing
Резюме

In this paper we study partial regular enumerations for arbitrary recursive ordinal. We use the technique to obtain a jump inversion and omitting theorem for the infinite enumeration jump for the case of partial degrees.

2000 MSC

03D30

Прикачен файлРазмер
PDF icon 98-061-085.pdf2.41 MB