Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis

We extract a quantitative variant of uniqueness from the usual hypotheses of the implicit functions theorem. This leads not only to an a priori proof of continuity, but also to an alternative, fully constructive existence proof.

• Type: Conference
• Year: 2009
• Where: CCA
• Authors: Hannes Diener, Peter Schuster
• Keywords: CCA 2009, Constructive Existence Proof, Priori Proof, Quantitative Variant, Theoretical Computer Science