Vitali's theorem and WWKL
From MaRDI portal
Publication:1407535
DOI10.1007/s001530100100zbMath1030.03044OpenAlexW2037923170MaRDI QIDQ1407535
Douglas K. Brown, Mariagnese Giusto, Stephen G. Simpson
Publication date: 16 September 2003
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530100100
computable analysissecond-order arithmeticconstructive analysisWWKLReverse mathematicsLebesgue measure theory
Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Other connections with logic and set theory (28E15)
Related Items
Fundamental notions of analysis in subsystems of second-order arithmetic, Measure theory and higher order arithmetic, ON THE UNCOUNTABILITY OF, Almost everywhere domination, The Vitali Covering Theorem in the Weihrauch Lattice, The Dirac delta function in two settings of reverse mathematics, Finding paths through narrow and wide trees, Mass Problems and Randomness, Mass problems associated with effectively closed sets, Mass Problems and Measure-Theoretic Regularity, Schnorr randomness and the Lebesgue differentiation theorem
