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

How to Cite

Ganchev, H. (2008). A jump inversion theorem for the infinite enumeration jump. Ann. Sofia Univ. Fac. Math. And Inf., 98, 61–85. Retrieved from https://ftl5.uni-sofia.bg/index.php/fmi/article/view/130