Following the honorable tradition of Rousseau's  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.
Cite this article
Hirokazu Nishimura, Heyting Valued Considerations on Some Fundamental Existence Theorems in Modern Analysis. Publ. Res. Inst. Math. Sci. 24 (1988), no. 4, pp. 621–637DOI 10.2977/PRIMS/1195174869