Unique solutions

DOI10.1002/MALQ.200610012MaRDI QIDQ3418084zbMATH OpenOpenAlexFDO

Authors Peter Schuster

Publication date 2 February 2007

Published in MLQ (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200610012

zbMATH Keywords

compactnessmetric spacescontinuityconstructive mathematicsreverse mathematicsunique existencefan theorem

Mathematics Subject Classification ID

Compact (locally compact) metric spaces (54E45) Complete metric spaces (54E50) Constructive and recursive analysis (03F60)

Recommendations

• Problems, solutions, and completions
• Problems as Solutions
• The fan theorem and unique existence of maxima
• Brouwer's fan theorem and unique existence in constructive analysis
• Unique existence, approximate solutions, and countable choice.

Cites work

• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• A uniformly continuous function on [0,1] that is everywhere different from its infimum
• An omniscience principle, the König Lemma and the Hahn‐Banach theorem

Cited in

(15)

• Kronecker's density theorem and irrational numbers in constructive reverse mathematics
• Brouwer's fan theorem and unique existence in constructive analysis
• The fan theorem and unique existence of maxima
• Unique existence, approximate solutions, and countable choice.
• Toward a clarity of the extreme value theorem
• Sequences of real functions on [0,1] in constructive reverse mathematics
• Weihrauch degrees, omniscience principles and weak computability
• Unique paths as formal points
• scientific article; zbMATH DE number 4169980 (Why is no real title available?)
• Problems as Solutions
• Computability of finite-dimensional linear subspaces and best approximation
• Problems, solutions, and completions
• Effective Choice and Boundedness Principles in Computable Analysis
• Lipschitz functions in constructive reverse mathematics
• Continuity and Lipschitz constants for projections

This page was built for publication: Unique solutions

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