Citations of:
The Fan Theorem and Unique Existence of Maxima
Journal of Symbolic Logic 71 (2):713 - 720 (2006)
Add citations
You must login to add citations.
|
|
|
The existence of either a maximum or a minimum for a uniformly continuous mapping f of a compact interval into ${\mathbb{R}}$ is established constructively under the hypotheses that f′ is sequentially continuous and f has at most one critical point. |
|
|
We apply a framework developed by C. S. Peirce to analyze the concept of clarity, so as to examine a pair of rival mathematical approaches to a typical result in analysis. Namely, we compare an intuitionist and an infinitesimal approaches to the extreme value theorem. We argue that a given pre-mathematical phenomenon may have several aspects that are not necessarily captured by a single formalisation, pointing to a complementarity rather than a rivalry of the approaches. |
|
|
We show constructively that every quasi-convex, uniformly continuous function \ with at most one minimum point has a minimum point, where C is a convex compact subset of a finite dimensional normed space. Applications include a result on strictly quasi-convex functions, a supporting hyperplane theorem, and a short proof of the constructive fundamental theorem of approximation theory. No categories |
