Pages that link to "Item:Q1368581"

The following pages link to \(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator (Q1368581):

Displaying 7 items.

• \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs (Q436224) (← links)
• The minimal e-degree problem in fragments of Peano arithmetic (Q705537) (← links)
• Comparing the strength of diagonally nonrecursive functions in the absence of \(\Sigma_2^0\) induction (Q2795915) (← links)
• (Q3480037) (← links)
• On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics (Q3550582) (← links)
• <i>Σ₂</i>-collection and the infinite injury priority method (Q3787994) (← links)
• \(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture (Q5937666) (← links)