scientific article; zbMATH DE number 1420838

MaRDI QIDQ4944906zbMATH OpenFDO

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

Publication date 5 February 2001

zbMATH Keywords

Peano arithmeticjumpTuring degree

Mathematics Subject Classification ID

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

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)