Hyperarithmetical pseudojump inversion conjecture

Let eNe\in\mathbb{N} and let AA be a real such that

OTA.\mathcal{O}\mathrel{\leq_{\mathrm{T}}}A.

For a real BB, define the ee-th pseudo-hyperjump by HJe(B)=BVeB\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

ATHJe(B)TBO.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.

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

No solutions have been posted yet.