Xiaokang Yu Riesz Representation Theorem, Borel Measures and Subsystems of Second-Order Arithmetic. 65-78 1993 59 Ann. Pure Appl. Logic 1 db/journals/apal/apal59.html#Yu93