scientific article; zbMATH DE number 1420838

zbMATH Open0954.03042MaRDI QIDQ4944906FDOQ4944906

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

Publication date: 5 February 2001

Title of this publication is not available (Why is that?)

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

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)

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)