The following pages link to Bounded modified realizability (Q5477639):
Displaying 12 items.
- On bounded functional interpretations (Q424545) (← links)
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Intuitionistic nonstandard bounded modified realisability and functional interpretation (Q1706266) (← links)
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic (Q2195636) (← links)
- A herbrandized functional interpretation of classical first-order logic (Q2402958) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- Proof interpretations with truth (Q3066291) (← links)
- Confined modified realizability (Q3406445) (← links)
- The Herbrand topos (Q5891131) (← links)
- The Herbrand topos (Q5891132) (← links)
- Hardwiring truth in functional interpretations (Q6041142) (← links)
- Stateful Realizers for Nonstandard Analysis (Q6135755) (← links)
