Hyperarithmetical pseudojump inversion conjecture

At least 4 years old · documented by

Let e∈Ne\in\mathbb{N} and let AA be a real such that

O≤TA.\mathcal{O}\mathrel{\leq_{\mathrm{T}}}A.

For a real BB, define the ee-th pseudo-hyperjump by HJ⁡e(B)=B⊕VeB\operatorname{HJ}_e(B)=B\oplus V_e^B, where VeBV_e^B is the ee-th member of a uniformly effective enumeration of the Π11,B\Pi^{1,B}_1 predicates. Hyperarithmetical pseudojump inversion conjecture. There exists a real BB such that

A≡THJ⁡e(B)≡TB⊕O.A\mathrel{\equiv_{\mathrm{T}}}\operatorname{HJ}_e(B)\mathrel{\equiv_{\mathrm{T}}}B\oplus\mathcal{O}.

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.