A study of singular points and supports of measures in reverse mathematics (Q1919546)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A study of singular points and supports of measures in reverse mathematics |
scientific article |
Statements
A study of singular points and supports of measures in reverse mathematics (English)
0 references
9 February 1997
0 references
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]\).
0 references
reverse mathematics
0 references
arithmetical comprehension
0 references
enumerability of singular points
0 references
measure
0 references
Cantor space
0 references
perfect closed subset
0 references
support
0 references
continuous linear functional
0 references
