Bulletin of Symbolic Logic

Local definitions in degree structures: the Turing jump, hyperdegrees and beyond

Richard A. Shore

Abstract

There are $\Pi_5$ormulas in the language of the Turing degrees, $\mathcal{D}$ with $\leq, \lor$ and $\land$ that define the relations $\mathbf{x}^{\prime\prime} \leq \mathbf{y}^{\prime\prime}, \mathbf{x}^{\prime\prime}=\mathbf{y}^{\prime\prime}$and so $\mathbf{x} \in \mathbf{L}_{2}(\rm{y}) = {\mathbf{x} \geq \mathbf{y}\, \vert \, \mathbf{x}^{\prime\prime}= \mathbf{y}^{\prime\prime}}$ in any jump ideal containing $\mathbf{0}^{\omega}$. There are also $\Sigma_6$& $\Pi_6$ and $\Pi_8$ formulas that define the relations $\mathbb{w} = \mathbb{x}^{\prime\prime}$ and $\mathbb{w} = \mathbb{x}^{\prime}$, respectively, in any such ideal $\mathcal{I}$. In the language with just $\leq$ the quantifier complexity of each of these definitions increases by one. On the other hand, no $\Pi_2$ or $\Sigma_2$ formula in the language with just $\leq$ defines $\mathbf{L}_2$ or $\mathbf{x} \in \mathbf{L}_2(\mathbf{y})$. Our arguments and constructions are purely degree theoretic without any appeals to absoluteness considerations, set theoretic methods or coding of models of arithmetic. As a corollary, we see that every automorphism of $\mathcal{I}$ is fixed on every degree above $\mathbf{0}^{\prime\prime}$ and every relation on I that is invariant under double jump or joining with $\mathbf{0}^{\prime\prime}$ is definable over I if and only if it is definable in second order arithmetic with set quantification ranging over sets whose degrees are in $\mathcal{I}$ Similar direct coding arguments show that every hyperjump ideal I is rigid and biinterpretable with second order arithmetic with set quantification ranging over sets with hyperdegrees in $\mathcal{I}$. Analogous results hold for various coarser degree structures.

Article information

Source
Bull. Symbolic Logic, Volume 13, Issue 2 (2007), 226-239.

Dates
First available in Project Euclid: 30 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.bsl/1185803806

Digital Object Identifier
doi:10.2178/bsl/1185803806

Mathematical Reviews number (MathSciNet)
MR2323843

Zentralblatt MATH identifier
1131.03018

Citation

Shore, Richard A. Local definitions in degree structures: the Turing jump, hyperdegrees and beyond. Bull. Symbolic Logic 13 (2007), no. 2, 226--239. doi:10.2178/bsl/1185803806. https://projecteuclid.org/euclid.bsl/1185803806