Recent Applications of Proof Theory in Nonlinear Analysis

Kohlenbach U.
Department of Mathematics,
Darmstadt University of Technology (Darmstadt)

Abstract:
We will give a survey on some recent uses of proof theory in nonlinear analysis and geodesic geometry.