A study of singular points and supports of measures in reverse mathematics (Q1919546): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0168-0072(95)00042-9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1998220569 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Which set existence axioms are needed to prove the separable Hahn-Banach theorem? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4111536 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Harvey Friedman's research on the foundations of mathematics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3395521 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Riesz representation theorem, Borel measures and subsystems of second- order arithmetic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Measure theory and weak König's lemma / rank | |||
Normal rank |
Latest revision as of 13:39, 24 May 2024
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
0 references