Analysing Proofs in Analysis
Ulrich Kohlenbach · 1996
Abstract Many theorems in analysis are of the form (or can be transformed into the form):where X is a complete separable metric space (CSM-space for short) and F,G : X → 1R are constructively definable (and therefore continuous) functions.