Pages that link to "Item:Q5937666"
From MaRDI portal
The following pages link to \(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture (Q5937666):
Displaying 4 items.
- \(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator (Q1368581) (← links)
- Comparing the strength of diagonally nonrecursive functions in the absence of \(\Sigma_2^0\) induction (Q2795915) (← links)
- Nonstandard models in recursion theory and reverse mathematics (Q2925331) (← links)
- (Q3480037) (← links)