Ivan N. Soskov. A jump inversion theorem for the enumeration jump. Arch. Math. Log., 39(6):417-437, 2000. [doi]
@article{Soskov00, title = {A jump inversion theorem for the enumeration jump}, author = {Ivan N. Soskov}, year = {2000}, doi = {10.1007/s001530050156}, url = {http://dx.doi.org/10.1007/s001530050156}, researchr = {https://researchr.org/publication/Soskov00}, cites = {0}, citedby = {0}, journal = {Arch. Math. Log.}, volume = {39}, number = {6}, pages = {417-437}, }