Hyperarithmetical pseudojump inversion conjecture
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.
Sources & referencesView supporting material
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
Sign in to submit a solution.
No solutions have been posted yet.