No label defined (Q4944906)

Let \({\mathcal M}\) be a countably saturated nonstandard model of full Peano arithmetic and let \(\omega\) be the set of standard natural numbers. Let be \(K = \{ \langle x, i \rangle : i \in \omega \wedge x \in \emptyset^{(i)} \}\). In the paper the degree-theoretic structure of sets recursive in \(K\) is investigated. In particular it is shown that the degree of \(\omega\) is a minimal degree in \({\mathcal M}\). The structure of the degrees below deg(\(K\)) is analysed and it is proved that the degree of \(\omega\) is definable in the ideal below deg(\(K\)) and that the degree of \(K\) is not equal to the jump of any degree in \({\mathcal M}\) (in this way a concrete example of the failure of the Friedberg Jump Inversion Theorem in full Peano arithmetic is provided). For the entire collection see [Zbl 0932.00038].