Heyting Valued Considerations on Some Fundamental Existence Theorems in Modern Analysis

Abstract

Following the honorable tradition of Rousseau's [6] treatment of Weierstrass theorems in several complex variables, we give some other specimens of transfer from intuitionistic theorems to classical ones. The classical theorems which we deal with in this paper include the implicit function theorem and Cauchy's local existence theorem in ordinary differential equations.