THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE

DOI10.1017/jsl.2021.16OpenAlexW3128260604MaRDI QIDQ5021932

Keita Yokoyama, Marcus A. Triplett, André Nies

Publication date: 17 January 2022

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1704.00931

zbMATH Keywords

Jordan decomposition theorembounded variationreverse mathematicsrandomnesscomputable analysis

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Computation over the reals, computable analysis (03D78)

Related Items (5)

ON THE UNCOUNTABILITY OF ⋮ Betwixt Turing and Kleene ⋮ RANDOMNESS NOTIONS AND REVERSE MATHEMATICS ⋮ Remarks on the effective Jordan decomposition ⋮ Reverse mathematics of the uncountability of \(\mathbb{R}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A nonstandard counterpart of WWKL
• Effective Jordan decomposition
• Highness properties close to PA completeness
• Measure theory and weak König's lemma
• RELATIVIZING CHAITIN'S HALTING PROBABILITY
• Randomness and differentiability
• RANDOMNESS NOTIONS AND REVERSE MATHEMATICS
• Measures and their random reals
• Representations of Reals in Reverse Mathematics

This page was built for publication: THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE