Ganchev, Hristo. 2008. “A Jump Inversion Theorem for the Infinite Enumeration Jump”. Ann. Sofia Univ. Fac. Math. And Inf. 98 (December):61-85. https://ftl5.uni-sofia.bg/index.php/fmi/article/view/130.