Jaime Gaspar

Available identifiers

zbMath Open gaspar.jaimeMaRDI QIDQ361871

List of research outcomes

Publication	Date of Publication	Type
Hardwiring truth in functional interpretations	2023-05-26	Paper
Proof without words: using trapezoids to compute triangular numbers	2019-02-18	Paper
Intuitionistic nonstandard bounded modified realisability and functional interpretation	2018-03-21	Paper
All Triangles at Once	2016-06-16	Paper
Copies of classical logic in intuitionistic logic	2015-07-30	Paper
Nonstandardness and the bounded functional interpretation	2015-05-15	Paper
Negative translations not intuitionistically equivalent to the usual ones	2013-08-19	Paper
Proof interpretations. Theoretical and practical aspects.	2012-03-05	Paper
Variants into minimal logic of the Kuroda negative translation	2011-08-02	Paper
Proof interpretations with truth	2011-01-10	Paper
On Tao's “finitary” infinite pigeonhole principle	2010-03-15	Paper
Factorization of the Shoenfield-like bounded functional interpretation	2009-11-18	Paper

Research outcomes over time

This page was built for person: Jaime Gaspar