Radon-Nikodym theorem is equivalent to arithmetical comprehension (1990)

by Xiaokang Yu
Venue:In [37