Jaime Gaspar's homepage

About me

• Research interests: mathematical logic, in particular proof interpretations in proof theory

Contacts

• E-mail: moc.rapsagemiaj@liam
• Homepage: www.jaimegaspar.com

Papers

• Proof interpretations: theoretical and practical aspects [ps] [pdf]
  PhD thesis, December 2011
• Variants into minimal logic of the Kuroda negative translation [ps] [pdf]
• Negative translations not intuitionistically equivalent to the usual ones [ps] [pdf]
  To appear in Studia Logica
• Proof interpretations with truth [ps] [pdf]
  With Paulo Oliva, Mathematical Logic Quarterly, volume 56, number 6, pages 591-610, December 2010
• On Tao's "finitary" infinite pigeonhole principle [ps] [pdf]
  With Ulrich Kohlenbach, The Journal of Symbolic Logic, volume 75, number 1, pages 355-371, March 2010
• Factorization of the Shoenfield-like bounded functional interpretation [ps] [pdf]
  Notre Dame Journal of Formal Logic, volume 50, number 1, pages 53-60, 2009