Philipp Gerhardy

Contact information:

Telephone: (+47) 22 85 72 24

Email: Philipp [dot] Gerhardy [at] gmail [dot] com

I am a postdoc at the Department of Mathematics at the University of Oslo. I am associated with the Logic and Computability group. Here is a link to my Curriculum Vitae(ps,pdf).

Publications:

1. Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem. Master's thesis, 2003.(ps,pdf)
2. Refined Complexity Analysis of Cut Elimination. Final version in: M. Baaz, J.A. Makowsky(eds), Proc. of 17th International Workshop CSL 2003, pp. 212-225, Springer LNCS 2803. (ps,pdf)
3. Extracting Herbrand Disjunctions by Functional Interpretation (with Ulrich Kohlenbach). Final version in: Arch. Math. Logic, vol. 44, pp. 633-644 (2005). (ps,pdf)
4. The Role of Quantifier Alternations in Cut Elimination. Final version in: Notre Dame Journal of Formal Logic, vol. 46, no. 2, pp. 165-171 (2005). (ps,pdf)
5. Strongly uniform bounds from semi-constructive proofs (with Ulrich Kohlenbach). Final version in: Annals of Pure and Applied Logic, vol.141, pp.89-107(2006). (ps,pdf)
6. A quantitative version of Kirk's fixed point theorem for asymptotic contractions. Final version in: Journal of Mathematical Analysis and Applications, vol. 316, no.1, pp. 339-345 (2006). (ps,pdf)
7. General logical metatheorems for functional analysis(with Ulrich Kohlenbach). To appear in: Trans. Am. Math. Soc. (ps,pdf)
8. PhD-thesis, 2nd corrected version. (ps,pdf)
9. Functional interpretation and modified realizability interpretation of the double-negation shift. Accepted for presentation at CiE 2006. (ps,pdf)
10. Local stability of ergodic averages (with Jeremy Avigad and Henry Towsner), draft (arXiv).