Open AccessHeyting Valued Considerations on Some Fundamental Existence Theorems in Modern Analysis
Author(s) -
Hirokazu Nishimura
Publication year - 1988
Publication title -
publications of the research institute for mathematical sciences
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.786
H-Index - 39
eISSN - 1663-4926
pISSN - 0034-5318
DOI - 10.2977/prims/1195174869
Subject(s) - mathematics , calculus (dental) , pure mathematics , mathematical economics , algebra over a field , medicine , dentistry
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom