- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The Fan Theorem and Unique Existence of Maxima
Journal of Symbolic Logic 71 (2):713 - 720 (2006)
Abstract
The existence and uniqueness of a maximum point for a continuous real—valued function on a metric space are investigated constructively. In particular, it is shown, in the spirit of reverse mathematics, that a natural unique existence theorem is equivalent to the fan theoremAuthor's Profile
DOI
10.2178/jsl/1146620167
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
On the role of the baire category theorem and dependent choice in the foundations of logic.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (2):412-422.
Which set existence axioms are needed to prove the cauchy/peano theorem for ordinary differential equations?Stephen G. Simpson - 1984 - Journal of Symbolic Logic 49 (3):783-802.
An existence theorem for the logic of decision.Ethan D. Bolker - 2000 - Philosophy of Science 67 (3):17.
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
Periodic solutions of piecewise affine Gene network models with non uniform decay rates: The case of a negative feedback loop.Etienne Farcot & Jean-Luc Gouzé - 2009 - Acta Biotheoretica 57 (4):429-455.
Naming and Diagonalization, from Cantor to Gödel to Kleene.Haim Gaifman - 2006 - Logic Journal of the IGPL 14 (5):709-728.
Leibniz's principle of the identity of indiscernibles: A false principle.Alberto Cortes - 1976 - Philosophy of Science 43 (4):491-505.
Analytics
Added to PP
2010-08-24
Downloads
29 (#430,835)
6 months
6 (#145,303)
2010-08-24
Downloads
29 (#430,835)
6 months
6 (#145,303)
Historical graph of downloads
Author's Profile
Citations of this work
Toward a Clarity of the Extreme Value Theorem.Karin U. Katz, Mikhail G. Katz & Taras Kudryk - 2014 - Logica Universalis 8 (2):193-214.
Convexity and unique minimum points.Josef Berger & Gregor Svindland - 2019 - Archive for Mathematical Logic 58 (1-2):27-34.
Constructing local optima on a compact interval.Douglas S. Bridges - 2007 - Archive for Mathematical Logic 46 (2):149-154.
References found in this work
Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation.Ulrich Kohlenbach - 1993 - Annals of Pure and Applied Logic 64 (1):27-94.
Constructing local optima on a compact interval.Douglas S. Bridges - 2007 - Archive for Mathematical Logic 46 (2):149-154.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6968689d5f-p7sf7 N