JournalsprimsVol. 24 , No. 4DOI 10.2977/prims/1195174869

Heyting Valued Considerations on Some Fundamental Existence Theorems in Modern Analysis

  • Hirokazu Nishimura

    Kyoto University, Japan
Heyting Valued Considerations on Some Fundamental Existence Theorems in Modern Analysis cover

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.