The following pages link to Jaime Gaspar (Q361871):
Displayed 17 items.
- Negative translations not intuitionistically equivalent to the usual ones (Q361872) (← links)
- On bounded functional interpretations (Q424545) (← links)
- Factorization of the Shoenfield-like bounded functional interpretation (Q1038604) (← links)
- Intuitionistic nonstandard bounded modified realisability and functional interpretation (Q1706266) (← links)
- Slow consistency (Q1935874) (← links)
- A Kuroda-style \(j\)-translation (Q2312092) (← links)
- Nonstandardness and the bounded functional interpretation (Q2344622) (← links)
- The finitistic consistency of Heck's predicative Fregean system (Q2345392) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- All Triangles at Once (Q2812174) (← links)
- Proof interpretations with truth (Q3066291) (← links)
- (Q3118894) (← links)
- Proof Without Words: Using Trapezoids to Compute Triangular Numbers (Q4622973) (← links)
- On Tao's “finitary” infinite pigeonhole principle (Q5190206) (← links)
- Copies of Classical Logic in Intuitionistic Logic (Q5499598) (← links)
- Hardwiring truth in functional interpretations (Q6041142) (← links)
- Variants into minimal logic of the Kuroda negative translation (Q6226904) (← links)