Xiaokang Yu A Study of Singular Points and Supports of Measures in Reverse Mathematics. 211-219 1996 79 Ann. Pure Appl. Logic 2 db/journals/apal/apal79.html#Yu96