Pages that link to "Item:Q3570171"
From MaRDI portal
The following pages link to The bounded functional interpretation of the double negation shift (Q3570171):
Displaying 7 items.
- The bounded functional interpretation of bar induction (Q435192) (← links)
- Delimited control operators prove double-negation shift (Q450950) (← links)
- Gödel functional interpretation and weak compactness (Q450951) (← links)
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness (Q2238150) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (Q4692078) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)