Pages that link to "Item:Q3787994"
From MaRDI portal
The following pages link to <i>Σ<sub>2</sub></i>-collection and the infinite injury priority method (Q3787994):
Displaying 12 items.
- Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory (Q334991) (← links)
- \(\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)
- \(\Sigma_2\)-constructions and \(\text{I}\Sigma_1\) (Q1295390) (← links)
- Splitting theorems in recursion theory (Q1314544) (← links)
- \(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator (Q1368581) (← links)
- Hyperhypersimple sets and \(\Delta _ 2\) systems (Q1823933) (← links)
- (Q3480037) (← links)
- An α-finite injury method of the unbounded type (Q4133623) (← links)
- 1994–1995 Winter Meeting of the Association for Symbolic Logic (Q4858810) (← links)
- \(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture (Q5937666) (← links)
