A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
We investigate the statement that the Lebesgue measure defined on all subsets of the Cantor space exists. As base system we take ACA_0^ω + (μ). The system ACA_0^ω is the higher order extension of Friedman's system ACA_0, and (μ) denotes Feferman's μ, that is a uniform functional for arithmetical comprehension defined by f(μ(f))=0 if ∃ n f(n)=0 for f∈N^N. Feferman's μ will provide countable unions and intersections of sets of reals and is, in fact, equivalent to this. For this reasons ACA_0^ω +arXiv:1312.1531v2 fatcat:tctxumkoyvb6rapk3hdhc7553e