Computability of the Radon-Nikodym Derivative
Mathieu Hoyrup, Cristóbal Rojas, Klaus Weihrauch · Computability · 2012
We study the computational content of the Radon-Nokodym theorem from measure theory in the framework of the representation approach to computable analysis. We define computable measurable spaces and canonical representations of the measures and the i