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
https://portal.mardi4nfdi.de/entity/Q3118894	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jaime Gaspar