Archive for Mathematical Logic 37 (5-6):343-362 (1998)

We study Lebesgue and Atsuji spaces within subsystems of second order arithmetic. The former spaces are those such that every open covering has a Lebesgue number, while the latter are those such that every continuous function defined on them is uniformly continuous. The main results we obtain are the following: the statement “every compact space is Lebesgue” is equivalent to $\hbox{\sf WKL}_0$ ; the statements “every perfect Lebesgue space is compact” and “every perfect Atsuji space is compact” are equivalent to $\hbox{\sf ACA}_0$ ; the statement “every Lebesgue space is Atsuji” is provable in $\hbox{\sf RCA}_0$ ; the statement “every Atsuji space is Lebesgue” is provable in $\hbox{\sf ACA}_0$ . We also prove that the statement “the distance from a closed set is a continuous function” is equivalent to $\Pi^1_1\hbox{-\sf CA}_0$
Keywords Legacy
Categories (categorize this paper)
DOI 10.1007/s001530050103
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: 51,668
Through your library

References found in this work BETA

[Omnibus Review].Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
Fixed Point Theory in Weak Second-Order Arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.

Add more references

Citations of this work BETA

Open Questions in Reverse Mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.
Located Sets and Reverse Mathematics.Mariagnese Giusto & Stephen G. Simpson - 2000 - Journal of Symbolic Logic 65 (3):1451-1480.
Fundamental Notions of Analysis in Subsystems of Second-Order Arithmetic.Jeremy Avigad - 2006 - Annals of Pure and Applied Logic 139 (1):138-184.

Add more citations

Similar books and articles

Measure Theory and Weak König's Lemma.Xiaokang Yu & Stephen G. Simpson - 1990 - Archive for Mathematical Logic 30 (3):171-180.
Lebesgue Convergence Theorems and Reverse Mathematics.Xiaokang Yu - 1994 - Mathematical Logic Quarterly 40 (1):1-13.
Located Sets and Reverse Mathematics.Mariagnese Giusto & Stephen G. Simpson - 2000 - Journal of Symbolic Logic 65 (3):1451-1480.
Powers of the Ideal of Lebesgue Measure Zero Sets.Maxim R. Burke - 1991 - Journal of Symbolic Logic 56 (1):103-107.
Reverse Mathematics and Π21 Comprehension.Carl Mummert & Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (4):526-533.
Vitali's Theorem and WWKL.Douglas K. Brown, Mariagnese Giusto & Stephen G. Simpson - 2002 - Archive for Mathematical Logic 41 (2):191-206.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
Uniform Almost Everywhere Domination.Peter Cholak, Noam Greenberg & Joseph S. Miller - 2006 - Journal of Symbolic Logic 71 (3):1057 - 1072.
Dependent Choices and Weak Compactness.Christian Delhommé & Marianne Morillon - 1999 - Notre Dame Journal of Formal Logic 40 (4):568-573.


Added to PP index

Total views
22 ( #445,603 of 2,331,392 )

Recent downloads (6 months)
1 ( #588,490 of 2,331,392 )

How can I increase my downloads?


My notes