Hyperarithmetical pseudojump inversion conjecture
Let e∈Ne\in\mathbb{N}e∈N and let AAA be a real such that … For a real BBB, define the eee-th pseudo-hyperjump by HJe(B)=B⊕VeB\operatorname{HJ}_e(B)=B\oplus V_e^BHJe(B)=B⊕VeB, where VeBV_e^BVeB is the eee-th mem…