The following pages link to Bounded functional interpretation (Q2488269):
Displayed 13 items.
- On bounded functional interpretations (Q424545) (← links)
- The bounded functional interpretation of bar induction (Q435192) (← links)
- Bounded functional interpretation and feasible analysis (Q866559) (← links)
- Harrington's conservation theorem redone (Q948908) (← links)
- Functional interpretations of linear and intuitionistic logic (Q964504) (← links)
- Injecting uniformities into Peano arithmetic (Q1006608) (← links)
- Proof interpretations with truth (Q3066291) (← links)
- A note on the monotone functional interpretation (Q3107344) (← links)
- The bounded functional interpretation of the double negation shift (Q3570171) (← links)
- 2006 Annual Meeting of the Association for Symbolic Logic (Q3594488) (← links)
- Functional interpretation and inductive definitions (Q3655246) (← links)
- On Tao's “finitary” infinite pigeonhole principle (Q5190206) (← links)
- Bounded modified realizability (Q5477639) (← links)