Pseudo-Hyperjump Inversion Fails for Turing Degrees
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.37478
curl -X POST /api/v1/records/arxiv/2609.37478/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.37478/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'