Jaime Gaspar
Identifiers
- name variant Jaime Gaspar 0.60 · backfill
Papers (8)
- Intuitionistic nonstandard bounded modified realisability and functional interpretation math.LO · 2015 · author #2
- Todas as afirma\c{c}\~oes verdadeiras s\~ao demonstr\'aveis math.HO · 2012 · author #1
- Copies of classical logic in intuitionistic logic math.LO · 2012 · author #1
- A theorem with constructive and non-constructive proofs math.HO · 2012 · author #1
- Variants into minimal logic of the Kuroda negative translation math.LO · 2011 · author #1
- Negative translations not intuitionistically equivalent to the usual ones math.LO · 2010 · author #1
- On Tao's "finitary" infinite pigeonhole principle math.LO · 2010 · author #1
- 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