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