Unique solutions
From MaRDI portal
Publication:3418084
DOI10.1002/malq.200610012zbMath1110.03059MaRDI QIDQ3418084
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
continuity; metric spaces; compactness; constructive mathematics; reverse mathematics; unique existence; fan theorem
54E50: Complete metric spaces
03F60: Constructive and recursive analysis
54E45: Compact (locally compact) metric spaces
Related Items
Computability of finite-dimensional linear subspaces and best approximation, Kronecker's density theorem and irrational numbers in constructive reverse mathematics, Sequences of real functions on [0,1 in constructive reverse mathematics], Continuity and Lipschitz constants for projections, Problems, solutions, and completions, Toward a clarity of the extreme value theorem, Weihrauch degrees, omniscience principles and weak computability, Effective Choice and Boundedness Principles in Computable Analysis
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item