A study of singular points and supports of measures in reverse mathematics
The paper is a contribution to reverse mathematics. It is proved that (1) arithmetical comprehension is equivalent to the enumerability of singular points of any measure on the Cantor space, and (2) it is provable in \(\text{ACA}_0\) that any perfect closed subset of \([0, 1]\) is the support of some continuous linear functional on \(C[0, 1]\).
scientific article; zbMATH DE number 908473