Hyperarithmetical pseudojump inversion conjecture
Let and let be a real such that
For a real , define the -th pseudo-hyperjump by , where is the -th member of a uniformly effective enumeration of the predicates. Hyperarithmetical pseudojump inversion conjecture. There exists a real such that
This is the hyperarithmetical analogue of the Pseudojump Inversion Theorem, and the source explicitly states that it remains open.
References
Primary source
Hayden R. Jananthan and Stephen G. Simpson, “Turing Degrees of Hyperjumps”, arXiv:2101.08818 (2024).
Progress summary
Never refreshed
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.