The jump of a Σ n -cut

DOI10.1112/JLMS/JDM016MaRDI QIDQ5308178zbMATH OpenOpenAlexFDO

Authors Yue Yang, C. T. Chong

Publication date 27 September 2007

Published in Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1112/jlms/jdm016

zbMATH Keywords

fragments of Peano arithmeticinductionjump classesproof-theoretic strengthTuring degrees

Mathematics Subject Classification ID

Other Turing degree structures (03D28) First-order arithmetic and fragments (03F30)

Recommendations

• The degree of a \(\Sigma_ n\) cut
• scientific article; zbMATH DE number 1420838
• \(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction
• Recursion theory on weak fragments of Peano arithmetic: A study of definable cuts
• DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP

Cited in

(9)

• On the strength of Ramsey's theorem for trees
• Weaker cousins of Ramsey's theorem over a weak base theory
• 1-Generic Degrees Bounding Minimal Degrees Revisited
• \(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction
• scientific article; zbMATH DE number 1420838 (Why is no real title available?)
• Primitive recursive reverse mathematics
• Isolated d.c.e. degrees and _1 induction
• An isomorphism theorem for models of weak König's lemma without primitive recursion
• The degree of a \(\Sigma_ n\) cut

This page was built for publication: The jump of a Σ _n -cut

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