Pages that link to "Item:Q2784778"

The following pages link to Recursion theory on weak fragments of Peano arithmetic: A study of definable cuts (Q2784778):

Displaying 9 items.

• \(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction (Q466117) (← links)
• The minimal e-degree problem in fragments of Peano arithmetic (Q705537) (← links)
• The degree of a \(\Sigma_ n\) cut (Q749530) (← links)
• Algebraic combinatorics in bounded induction (Q2216029) (← links)
• (Q3025192) (← links)
• The atomic model theorem and type omitting (Q3642694) (← links)
• Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)
• \(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture (Q5937666) (← links)
• Subrecursive degrees and fragments of Peano arithmetic (Q5945568) (← links)