Riesz representation theorem, Borel measures and subsystems of second- order arithmetic

DOI10.1016/0168-0072(93)90232-3zbMath0770.03018OpenAlexW2092083477MaRDI QIDQ1208086

Xiaokang Yu

Publication date: 16 May 1993

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(93)90232-3

zbMATH Keywords

Riesz representation theoremreverse mathematicssecond-order arithmeticarithmetical transfinite recursionarithmetical comprehensionfinite Borel measurescodes of Borel sets of complete separable metric spacescompact complete separable metric spacemeasurability of Borel sets

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Set functions and measures on topological spaces (regularity of measures, etc.) (28C15)

Related Items (6)

Almost everywhere domination ⋮ A study of singular points and supports of measures in reverse mathematics ⋮ Unnamed Item ⋮ Algorithmic randomness, reverse mathematics, and the dominated convergence theorem ⋮ A non-standard construction of Haar measure and weak König's lemma ⋮ Mass Problems and Measure-Theoretic Regularity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weak comparability of well orderings and reverse mathematics
• Harvey Friedman's research on the foundations of mathematics
• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
• Measure theory and weak König's lemma
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?

This page was built for publication: Riesz representation theorem, Borel measures and subsystems of second- order arithmetic