Section: New Results

Computability and measure theory

Participant : Mathieu Hoyrup.

In [26] , we study the constructive content of the Radon-Nikodym theorem, show that it is not computable in general and precisely locate its non-computability in the Weihrauch lattice.