Phenomenological Reviews

Series | Book | Chapter

182098

Dini's theorem in the light of reverse mathematics

Josef Berger Peter Schuster

pp. 153-166

Abstract

Dini's theorem says that compactness of the domain, a metric space, ensures the uniform convergence of every simply convergent monotone sequence of uniformly continuous real-valued functions whose limit is uniformly continuous. By showing that it is equivalent to Brouwer's fan theorem for detachable bars, we provide Dini's theorem with a classification in the constructive reverse mathematics recently propagated by Ishihara. If the functions occurring in Dini's theorem are pointwise continuous but integer-valued, then to still obtain such a classification we need to replace the fan theorem by the principle that every pointwise continuous integer-valued function on the Cantor space is uniformly continuous. As a complement, Dini's theorem both for pointwise and uniformly continuous functions is proved to be equivalent to the analogue of the fan theorem, weak König's lemma, in the classical setting of reverse mathematics started by Friedman and Simpson.

Publication details

Published in:

Palmgren Erik, Segerberg Krister (2009) Logicism, intuitionism, and formalism: what has become of them?. Dordrecht, Springer.

Pages: 153-166

DOI: 10.1007/978-1-4020-8926-8_7


Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/init/DBconnect.php on line 15
Cannot connect to DataBase