Pages that link to "Item:Q2743649"
From MaRDI portal
The following pages link to Finitary treatment of operator controlled derivations (Q2743649):
Displaying 4 items.
- Applications of cut-free infinitary derivations to generalized recursion theory (Q1295406) (← links)
- \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
- A Buchholz derivation system for the ordinal analysis of <b>KP</b> + Π<sub>3</sub>-reflection (Q3416113) (← links)
- Operational interpretations of an extension of F<sub>ω</sub> with control operators (Q5687907) (← links)