In:
Journal of Symbolic Logic, Cambridge University Press (CUP), Vol. 71, No. 2 ( 2006-06), p. 713-720
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.
Type of Medium:
Online Resource
ISSN:
0022-4812
,
1943-5886
DOI:
10.2178/jsl/1146620167
Language:
English
Publisher:
Cambridge University Press (CUP)
Publication Date:
2006
detail.hit.zdb_id:
2010607-5
SSG:
5,1
SSG:
17,1