Classifying Dini's Theorem

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

Our Archive

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

References found in this work BETA

No references found.

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

Query the Triple Loophole of the Proof of Gödel Incompleteness Theorem.FangWen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:77-94.
Hindman's Theorem, Ultrafilters, and Reverse Mathematics.Jeffry L. Hirst - 2004 - Journal of Symbolic Logic 69 (1):65-72.
Gold’s Theorem and Cognitive Science.Kent Johnson - 2004 - Philosophy of Science 70 (4):571-592.


Added to PP index

Total views
27 ( #270,061 of 2,319,330 )

Recent downloads (6 months)
2 ( #578,830 of 2,319,330 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature