Uniqueness, continuity, and existence of implicit functions in constructive analysis

DOI10.4230/OASICS.CCA.2009.2265MaRDI QIDQ2917329zbMATH OpenOpenAlexFDO

Authors Hannes Diener, Peter Schuster

Publication date 28 September 2012

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2009/2265/pdf/Diener.2265.pdf

zbMATH Keywords

constructive analysiscontinuitycountable choiceimplicit functionuniqueness

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Recommendations

• Uniqueness, continuity and the existence of implicit functions in constructive analysis
• scientific article; zbMATH DE number 4031686
• Absolute Continuity and the Uniqueness of the Constructive Functional Calculus
• scientific article; zbMATH DE number 4002092
• Constructive implicit function theorems
• On the univalence of an implicit function
• On the uniqueness of continuous solutions of functional equations
• scientific article; zbMATH DE number 4196368
• Uniqueness of simultaneous approximations in continuous function spaces
• Uniqueness of entire functions and fixed points

Cited in

(5)

• Implicit function theorem. I
• Implicit function theorem. II
• Uniqueness, continuity and the existence of implicit functions in constructive analysis
• A uniformly computable Implicit Function Theorem
• scientific article; zbMATH DE number 3557762 (Why is no real title available?)

This page was built for publication: Uniqueness, continuity, and existence of implicit functions in constructive analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2917329)