Riesz representation theorem, Borel measures and subsystems of second-order arithmetic (1993)

by Xiaokang Yu
Venue:Ann. Pure Appl. Logic