Pages that link to "Item:Q866559"
From MaRDI portal
The following pages link to Bounded functional interpretation and feasible analysis (Q866559):
Displaying 13 items.
- On bounded functional interpretations (Q424545) (← links)
- The bounded functional interpretation of bar induction (Q435192) (← links)
- Functional interpretations of feasibly constructive arithmetic (Q685962) (← links)
- Reasonable extreme-bounds analysis (Q908648) (← links)
- Functional interpretations of linear and intuitionistic logic (Q964504) (← links)
- Weak König's lemma in Herbrandized classical second-order arithmetic (Q2043309) (← links)
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic (Q2195636) (← links)
- Nonstandardness and the bounded functional interpretation (Q2344622) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- A note on the monotone functional interpretation (Q3107344) (← links)
- Confined modified realizability (Q3406445) (← links)
- The bounded functional interpretation of the double negation shift (Q3570171) (← links)
- Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic (Q5108095) (← links)