Abstract. We prove a jump inversion theorem for the enumeration jump and a minimal pair type theorem for the enumeration reducibilty. As an application some results of Selman, Case and Ash are obtained.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 15 May 1998
Rights and permissions
About this article
Cite this article
Soskov, I. A jump inversion theorem for the enumeration jump. Arch Math Logic 39, 417–437 (2000). https://doi.org/10.1007/s001530050156
Issue Date:
DOI: https://doi.org/10.1007/s001530050156