Translator Disclaimer
2006 Classifying Dini's Theorem
Josef Berger, Peter Schuster
Notre Dame J. Formal Logic 47(2): 253-262 (2006). DOI: 10.1305/ndjfl/1153858650

Abstract

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.

Citation

Download Citation

Josef Berger. Peter Schuster. "Classifying Dini's Theorem." Notre Dame J. Formal Logic 47 (2) 253 - 262, 2006. https://doi.org/10.1305/ndjfl/1153858650

Information

Published: 2006
First available in Project Euclid: 25 July 2006

zbMATH: 1156.03055
MathSciNet: MR2240623
Digital Object Identifier: 10.1305/ndjfl/1153858650

Subjects:
Primary: 03F60
Secondary: 26E40, 54E45

Rights: Copyright © 2006 University of Notre Dame

JOURNAL ARTICLE
10 PAGES


SHARE
Vol.47 • No. 2 • 2006
Back to Top