论文信息 - A Study of Singular Points and Supports of Measures in Reverse Mathematics

A Study of Singular Points and Supports of Measures in Reverse Mathematics

Abstract Arithmetical comprehension is proved to be equivalent to the enumerability of singular points of any measure on the Cantor space. It is provable in ACA 0 that any perfect closed subset of [0, 1] is the support of some continuous positive linear functional on C [0, 1].

Xiaokang Yu

[1] Stephen G. Simpson,et al. Friedman's Research on Subsystems of Second Order Arithmetic* , 1985 .

[2] Xiaokang Yu,et al. Riesz Representation Theorem, Borel Measures and Subsystems of Second-Order Arithmetic , 1993, Ann. Pure Appl. Log..

[3] S. G. Simpson,et al. Which set existence axioms are needed to prove the separable Hahn-Banach theorem? , 1986, Ann. Pure Appl. Log..

[4] Xiaokang Yu,et al. Measure theory and weak König's lemma , 1990, Arch. Math. Log..