Philipp Gerhardy

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Mathias Barra, Philipp Gerhardy
. CiE (2010)
Mathias Barra, Philipp Gerhardy
Skolem + Tetration Is Well-Ordered. CiE (2009)
Philipp Gerhardy
Proof Mining in Topological Dynamics. Notre Dame J. Formal Log. 49 (4) (2008)
Philipp Gerhardy, Ulrich Kohlenbach
Strongly uniform bounds from semi-constructive proofs. Ann. Pure Appl. Log. 141 (1-2) (2006)
Philipp Gerhardy
The Role of Quantifier Alternations in Cut Elimination. Notre Dame J. Formal Log. 46 (2) (2005)
Philipp Gerhardy, Ulrich Kohlenbach
Extracting Herbrand disjunctions by functional interpretation. Arch. Math. Log. 44 (5) (2005)
Philipp Gerhardy, Ulrich Kohlenbach
Generalized metatheorems on the extractability of uniform bounds in functional analysis. Mathematics, Algorithms, Proofs (2005)
Philipp Gerhardy
Refined Complexity Analysis of Cut Elimination. CSL (2003)