**Douglas K. Brown
Mariagnese Giusto
Stephen G. Simpson**

`t20@psu.edu`

Pennsylvania State University

October 25, 1998

Giusto's research was partially supported by Funds 40% of MURST of Italy. Simpson's research was partially supported by NSF grant DMS-9303478.

**Accepted April 17, 1998 for Archive for Mathematical Logic.**

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
.
We show that several well-known
measure-theoretic propositions including the Vitali Covering Theorem
are equivalent to WWKL over
.

- Introduction
- Measure Theory in
- Measure Theory in
- More Measure Theory in
- Vitali's Theorem
- Bibliography
- About this document ...