Bulletin of Symbolic Logic

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

Richard A. Shore

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

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


Export citation