Philipp Gerhardy

According to our database, Philipp Gerhardy authored at least 8 papers between 2003 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

The Ordinal of Skolem + Tetration Is <i>tau</i>₀.

Mathias Barra, Philipp Gerhardy

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2009

Skolem + Tetration Is Well-Ordered.

Mathias Barra, Philipp Gerhardy

Proceedings of the Mathematical Theory and Computational Practice, 2009

2008

Proof Mining in Topological Dynamics.

Philipp Gerhardy

Notre Dame J. Formal Log., 2008

2006

Strongly uniform bounds from semi-constructive proofs.

Philipp Gerhardy, Ulrich Kohlenbach

Ann. Pure Appl. Log., 2006

2005

The Role of Quantifier Alternations in Cut Elimination.

Philipp Gerhardy

Notre Dame J. Formal Log., 2005

Extracting Herbrand disjunctions by functional interpretation.

Philipp Gerhardy, Ulrich Kohlenbach

Arch. Math. Log., 2005

Generalized metatheorems on the extractability of uniform bounds in functional analysis.

Philipp Gerhardy, Ulrich Kohlenbach

Proceedings of the Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005

2003

Refined Complexity Analysis of Cut Elimination.

Philipp Gerhardy

Proceedings of the Computer Science Logic, 17th International Workshop, 2003