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

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, 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