伪超跳跃反转对图灵度失效
Pseudo-Hyperjump Inversion Fails for Turing Degrees
浏览论文内容
中文总结 AI 辅助
本文否定Jananthan-Simpson猜想，构造严格提升每个实数图灵度的伪超跳跃算子，其值域遗漏介于Kleene的O与其超跳跃之间的所有图灵度，并导致相关类刻画问题全部坍缩。
中文摘要 AI 辅助
Jananthan和Simpson在猜想4.5中提出：是否每个伪超跳跃算子$\operatorname{HJ}_e(X)=X\oplus V_e^X$（其中$V_e^X$一致地为$\Pi^1_1(X)$）都允许在Kleene的$\mathcal{O}$之上进行图灵度反转？我们否定了他们的猜想。我们构造了一个指标$e_*$，使得对每个实数$X$都有$X<_{\mathrm T}\operatorname{HJ}_{e_*}(X)$，但$\operatorname{HJ}_{e_*}$的值域遗漏了每个满足$°_{\mathrm T}(\mathcal{O})\leq\mathbf d<°_{\mathrm T}(\mathcal{O}^{\mathcal{O}})$的图灵度$\mathbf d$。因此，即使对于严格提升每个输入图灵度的算子，猜想4.5也不成立。性质4.6--4.8中的每一条都蕴含猜想4.5；因此，伴随的类刻画问题全部坍缩：没有任何实数类（即使不假设可定义性）满足这些性质中的任意一条。
英文摘要
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 raises the Turing degree of every input. Each of Properties~4.6--4.8 implies Conjecture~4.5; consequently, the accompanying class-characterisation problems collapse: no class of reals, even without a definability assumption, satisfies any one of these properties.
发表机构
- University of Camerino（卡梅里诺大学）
机构由 AI 辅助整理，请以论文原文为准。
