Title | A jump inversion theorem for the infinite enumeration jump |
Publication Type | Journal Article |
Year of Publication | 2008 |
Authors | Ganchev H |
Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Volume | 98 |
Keywords | enumeration 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 |
Attachment | Size |
---|---|
98-061-085.pdf | 2.41 MB |