Journal of Symbolic Logic 71 (2):713 - 720 (2006)
Authors |
|
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 theorem
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.2178/jsl/1146620167 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
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.
Citations of this work BETA
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.
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 index
2010-08-24
Total views
22 ( #515,360 of 2,517,823 )
Recent downloads (6 months)
1 ( #409,482 of 2,517,823 )
2010-08-24
Total views
22 ( #515,360 of 2,517,823 )
Recent downloads (6 months)
1 ( #409,482 of 2,517,823 )
How can I increase my downloads?
Downloads