{"id":"arxiv/2609.37478","url":"https://arxiv.org/abs/2609.37478","tags":["math.LO"],"score":0,"title":"Pseudo-Hyperjump Inversion Fails for Turing Degrees","domain":"math.LO","source":"arxiv","authors":["Patrizio Cintioli"],"reviews":0,"subject":"math.LO","summary":"Jananthan and Simpson asked in Conjecture~4.5 whether every pseudo-hyperjump $\\operatorname{HJ}_e(X)=X\\oplus V_e^X$, with $V_e^X$ uniformly $Π^1_1(X)$, admits Turing-degree inversion above Kleene's $\\mathcal{O}$. We settle their conjecture in the negative. We construct one index $e_*$ such that $X<_{\\mathrm T}\\operatorname{HJ}_{e_*}(X)$ for every real $X$, while the range of $\\operatorname{HJ}_{e_*}$ omits every Turing degree $\\mathbf d$ such that $°_{\\mathrm T}(\\mathcal{O})\\leq\\mathbf d<°_{\\mathrm T}(\\mathcal{O}^{\\mathcal{O}})$. Thus Conjecture~4.5 fails even for an operator which strictly…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-27","reactions":{}}