The following pages link to (Q3480037):
Displaying 7 items.
- \(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction (Q466117) (← links)
- The degree of a \(\Sigma_ n\) cut (Q749530) (← links)
- Hyperhypersimple sets and \(\Delta _ 2\) systems (Q1823933) (← links)
- Iterated trees and fragments of arithmetic (Q1892096) (← links)
- <i>Σ<sub>2</sub></i>-collection and the infinite injury priority method (Q3787994) (← links)
- An α-finite injury method of the unbounded type (Q4133623) (← links)
- TOPOLOGICAL FRAMEWORK FOR FINITE INJURY (Q4295229) (← links)