Uniqueness, continuity and the existence of implicit functions in constructive analysis
2011 ◽
Vol 14
◽
pp. 127-136
◽
Keyword(s):
A Priori
◽
AbstractWe extract a quantitative variant of uniqueness from the usual hypotheses of the implicit function theorem. Not only does this lead to an a priori proof of continuity, but also to an alternative, full proof of the implicit function theorem. Additionally, we investigate implicit functions as a case of the unique existence paradigm with parameters.
2006 ◽
Vol 46
(2)
◽
pp. 195-205
◽
1994 ◽
Vol 4
(1)
◽
pp. 91-105
◽
Keyword(s):
1998 ◽
Vol 12
(25)
◽
pp. 2599-2617
◽
2017 ◽
Vol 41
(4)
◽
pp. 515-528
◽
Keyword(s):
2005 ◽
Vol 2005
(2)
◽
pp. 169-193
◽
2021 ◽
Vol 31
(07)
◽
pp. 2150103