A jump inversion theorem for the infinite enumeration jump

Authors

  • Hristo Ganchev

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.

Downloads

Published

2008-12-12

Issue

Vol. 98 (2008): Ann. Sofia Univ. Fac. Math and Inf.

Section

Articles

How to Cite

A jump inversion theorem for the infinite enumeration jump. (2008). Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics, 98, 61-85. https://annual.uni-sofia.bg/index.php/fmi/article/view/130