Jaime Gaspar

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Hardwiring truth in functional interpretations Portugaliae Mathematica	2023-05-26	Paper
Proof without words: using trapezoids to compute triangular numbers Mathematics Magazine	2019-02-18	Paper
Intuitionistic nonstandard bounded modified realisability and functional interpretation Annals of Pure and Applied Logic	2018-03-21	Paper
All Triangles at Once American Mathematical Monthly	2016-06-16	Paper
Copies of classical logic in intuitionistic logic Philosophia Scientae	2015-07-30	Paper
Nonstandardness and the bounded functional interpretation Annals of Pure and Applied Logic	2015-05-15	Paper
Negative translations not intuitionistically equivalent to the usual ones Studia Logica	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 Mathematical Logic Quarterly	2011-01-10	Paper
On Tao's “finitary” infinite pigeonhole principle Journal of Symbolic Logic	2010-03-15	Paper
Factorization of the Shoenfield-like bounded functional interpretation Notre Dame Journal of Formal Logic	2009-11-18	Paper

Research outcomes over time

This page was built for person: Jaime Gaspar