Abstract.
Continuing the investigations of X. Yu and others, we study the role of set existence axioms in classical Lebesgue measure theory. We show that pairwise disjoint countable additivity for open sets of reals is provable in RCA0. We show that several well-known measure-theoretic propositions including the Vitali Covering Theorem are equivalent to WWKL over RCA0.
Article PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 3 April 1998 / Published online: 3 October 2001
Rights and permissions
About this article
Cite this article
Brown, D., Giusto, M. & Simpson, S. Vitali's Theorem and WWKL. Arch. Math. Logic 41, 191–206 (2002). https://doi.org/10.1007/s001530100100
Issue Date:
DOI: https://doi.org/10.1007/s001530100100