Jaime Gaspar

Identifiers

• name variant Jaime Gaspar 0.60 · backfill

Papers (8)

1. Intuitionistic nonstandard bounded modified realisability and functional interpretation math.LO · 2015 · author #2
2. Todas as afirma\c{c}\~oes verdadeiras s\~ao demonstr\'aveis math.HO · 2012 · author #1
3. Copies of classical logic in intuitionistic logic math.LO · 2012 · author #1
4. A theorem with constructive and non-constructive proofs math.HO · 2012 · author #1
5. Variants into minimal logic of the Kuroda negative translation math.LO · 2011 · author #1
6. Negative translations not intuitionistically equivalent to the usual ones math.LO · 2010 · author #1
7. On Tao's "finitary" infinite pigeonhole principle math.LO · 2010 · author #1
8. Factorization of the Shoenfield-like bounded functional interpretation math.LO · 2010 · author #1

Mentions

• 1212.4665 #1 · backfill · confidence 0.70 Jaime Gaspar
• 1211.1850 #1 · backfill · confidence 0.70 Jaime Gaspar
• 1211.0442 #1 · backfill · confidence 0.70 Jaime Gaspar
• 1108.0634 #1 · backfill · confidence 0.70 Jaime Gaspar
• 1011.0317 #1 · backfill · confidence 0.70 Jaime Gaspar
• 1009.5684 #1 · backfill · confidence 0.70 Jaime Gaspar
• 1009.1868 #1 · backfill · confidence 0.70 Jaime Gaspar

Frequent Coauthors

• Bruno Dinis 1 shared papers
• Ulrich Kohlenbach 1 shared papers