scientific article; zbMATH DE number 1420838

MaRDI QIDQ4944906zbMATH OpenFDO

Authors Yue Yang, C. T. Chong, Lei Qian

Publication date 5 February 2001

zbMATH Keywords

jumpPeano arithmeticTuring degree

Mathematics Subject Classification ID

Other Turing degree structures (03D28) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Review text

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].

Recommendations

• The jump of a Σ _n -cut
• The degree of a \(\Sigma_ n\) cut
• ∑ n Definable Sets without ∑ n Induction
• A non-inversion theorem for the jump operator
• Another jump inversion theorem for structures

Cited in

(3)

• The Barwise-Schlipf theorem
• The jump of a Σ _n -cut
• The degree of a \(\Sigma_ n\) cut

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4944906)