Turing Degrees of Hyperjumps
Abstract
The Posner-Robinson Theorem states that for any reals $Z$ and $A$ such that $Z \oplus 0' \leq_\mathrm{T} A$ and $0 <_\mathrm{T} Z$, there exists $B$ such that $A \equiv_\mathrm{T} B' \equiv_\mathrm{T} B \oplus Z \equiv_\mathrm{T} B \oplus 0'$. Consequently, any nonzero Turing degree $\operatorname{deg}_\mathrm{T}(Z)$ is a Turing jump relative to some $B$. Here we prove the hyperarithmetical analog, based on an unpublished proof of Slaman, namely that for any reals $Z$ and $A$ such that $Z \oplus \mathcal{O} \leq_\mathrm{T} A$ and $0 <_\mathrm{HYP} Z$, there exists $B$ such that $A \equiv_\mathrm{T} \mathcal{O}^B \equiv_\mathrm{T} B \oplus Z \equiv_\mathrm{T} B \oplus \mathcal{O}$. As an analogous consequence, any nonhyperarithmetical Turing degree $\operatorname{deg}_\mathrm{T}(Z)$ is a hyperjump relative to some $B$.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2021
- DOI:
- 10.48550/arXiv.2101.08818
- arXiv:
- arXiv:2101.08818
- Bibcode:
- 2021arXiv210108818J
- Keywords:
-
- Mathematics - Logic
- E-Print:
- 17 pages, submitted for publication in Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, 2020