Jaime Gaspar's homepage

About me

• My name is Jaime. I'm 28 years old. I'm Portuguese, but now living in Germany.
• I'm a PhD student in mathematical logic (more precisely, proof interpretations in proof theory).
• My main hobby is piano.

Contacts

• E-mail: mail [at] jaimegaspar [dot] com
• Homepage: www.jaimegaspar.com
• Professional address:
  Arbeitsgruppe Logik, Fachbereich Mathematik, Technische Universität Darmstadt
  Schlossgartenstrasse 7, 64289 Darmstadt, Germany

Papers

• On Tao's "finitary" infinite pigeonhole principle [ps][pdf]
  With Ulrich Kohlenbach. The Journal of Symbolic Logic, vol. 75, no. 1, pps. 355-371, 2010
• Factorization of the Shoenfield-like bounded functional interpretation [ps][pdf]
  Notre Dame Journal of Formal Logic, vol. 50, no. 1, pps. 53-60, 2009