Lebesgue Convergence Theorems and Reverse Mathematics

DOI10.1002/MALQ.19940400102zbMath0804.03047OpenAlexW2132134695MaRDI QIDQ4304143

Xiaokang Yu

Publication date: 8 September 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19940400102

zbMATH Keywords

reverse mathematicsmeasure theoryweak König's lemmasubsystems of second-order arithmeticarithmetical comprehensionrecursive comprehensionLebesgue convergence theorems

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items (11)

Refining the taming of the reverse mathematics zoo ⋮ Almost everywhere domination ⋮ To be or not to be constructive, that is not the question ⋮ RANDOMNESS NOTIONS AND REVERSE MATHEMATICS ⋮ Mixed Nash equilibria for continuous games and reverse mathematics ⋮ Unnamed Item ⋮ Norm convergence of multiple ergodic averages for commuting transformations ⋮ From Bolzano‐Weierstraß to Arzelà‐Ascoli ⋮ Algorithmic randomness, reverse mathematics, and the dominated convergence theorem ⋮ The swap of integral and limit in constructive mathematics ⋮ Mass Problems and Measure-Theoretic Regularity

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Lebesgue Convergence Theorems and Reverse Mathematics