Notre Dame Journal of Formal Logic 47 (2):253-262 (2006)

Peter Schuster
University of Leeds
Dini's theorem says that compactness of the domain, a metric space, ensures the uniform convergence of every simply convergent monotone sequence of real-valued continuous functions whose limit is continuous. By showing that Dini's theorem is equivalent to Brouwer's fan theorem for detachable bars, we provide Dini's theorem with a classification in the recently established constructive reverse mathematics propagated by Ishihara. As a complement, Dini's theorem is proved to be equivalent to the analogue of the fan theorem, weak König's lemma, in the original classical setting of reverse mathematics started by Friedman and Simpson
Keywords compact metric spaces   continuous functions   uniform convergence   reverse mathematics   constructive mathematics
Categories (categorize this paper)
DOI 10.1305/ndjfl/1153858650
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: 71,259
Through your library

References found in this work BETA

Equivalents of the (Weak) Fan Theorem.Iris Loeb - 2005 - Annals of Pure and Applied Logic 132 (1):51-66.
Intuitionism As Generalization.Fred Richman - 1990 - Philosophia Mathematica (1-2):124-128.

View all 7 references / Add more references

Citations of this work BETA

Unique Solutions.Peter Schuster - 2006 - Mathematical Logic Quarterly 52 (6):534-539.
The Swap of Integral and Limit in Constructive Mathematics.Rudolf Taschner - 2010 - Mathematical Logic Quarterly 56 (5):533-540.

Add more citations

Similar books and articles


Added to PP index

Total views
43 ( #265,239 of 2,518,488 )

Recent downloads (6 months)
2 ( #271,901 of 2,518,488 )

How can I increase my downloads?


My notes