Journal of Symbolic Logic 71 (2):713 - 720 (2006)

Authors
Peter Schuster
University of Leeds
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,959
Through your library

References found in this work BETA

Constructing Local Optima on a Compact Interval.Douglas S. Bridges - 2007 - Archive for Mathematical Logic 46 (2):149-154.

Add more references

Citations of this work BETA

Unique Solutions.Peter Schuster - 2006 - Mathematical Logic Quarterly 52 (6):534-539.
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.

Add more citations

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.
A Unified Bayesian Decision Theory.Richard Bradley - 2007 - Theory and Decision 63 (3):233-263,.
An Existence Theorem for the Logic of Decision.Ethan D. Bolker - 2000 - Philosophy of Science 67 (3):17.
Naming and Diagonalization, From Cantor to Gödel to Kleene.Haim Gaifman - 2006 - Logic Journal of the IGPL 14 (5):709-728.
Note on the Fan Theorem.A. S. Troelstra - 1974 - Journal of Symbolic Logic 39 (3):584-596.
[Introduction].Wilfrid Hodges - 1986 - Journal of Symbolic Logic 51 (4):865.
[Introduction].Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):1.

Analytics

Added to PP index
2010-08-24

Total views
22 ( #512,690 of 2,504,831 )

Recent downloads (6 months)
1 ( #417,030 of 2,504,831 )

How can I increase my downloads?

Downloads

My notes