Unique solutions

DOI10.1002/MALQ.200610012zbMATH Open1110.03059OpenAlexW4233663126MaRDI QIDQ3418084FDOQ3418084

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

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.

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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
• Weihrauch degrees, omniscience principles and weak computability
• Sequences of real functions on [0,1] in constructive reverse mathematics
• Unique paths as formal points
• Problems as Solutions
• Title not available (Why is that?)
• Computability of finite-dimensional linear subspaces and best approximation
• Effective Choice and Boundedness Principles in Computable Analysis
• Problems, solutions, and completions
• 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)