A jump inversion theorem for the infinite enumeration jump

TitleA jump inversion theorem for the infinite enumeration jump
Publication TypeJournal Article
Year of Publication2008
AuthorsGanchev H
JournalAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
Volume98
Keywordsenumeration degrees, enumeration jump, enumeration reducibility, forcing
Abstract

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

AttachmentSize
PDF icon 98-061-085.pdf2.41 MB