A jump inversion theorem for the enumeration jump

Ivan N. Soskov. A jump inversion theorem for the enumeration jump. Arch. Math. Log., 39(6):417-437, 2000. [doi]

Abstract

Abstract is missing.