Philipp Gerhardy

Contact information:

Telephone: (+47) 22 85 72 24

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

I am no longer employed in academia! I used to be a postdoc at the Department of Mathematics at the University of OsloLogic and Computability group. If you want to relive my illustrous academic career, 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). Final version in: Trans. Am. Math. Soc. 360, pp. 2615-2660 (2008). (ps,pdf)
8. PhD-thesis, 2006. 2nd corrected version. (ps,pdf)
9. Functional interpretation and modified realizability interpretation of the double-negation shift. Final version in local proceedings of CiE 2006. (ps,pdf)
10. Local stability of ergodic averages (with Jeremy Avigad and Henry Towsner). Final version in: Trans. Am. Math. Soc. 362, pp. 261-288 (2010), draft (arXiv).
11. Proof mining in topological dynamics. Final version in: Notre Dame Journal of Formal Logic, vol. 49, no. 4, pp. 431-446 (2008). (ps,pdf)
12. Proof mining in Practice. To appear in: Proc. of Logic Colloquium 2007, Wroclaw. (ps,pdf)
13. Skolem + tetration is well-ordered (with Mathias Barra). To appear in: Proc. of CiE 2009.