A computational aspect of the Lebesgue differentiation theorem
From MaRDI portal
Publication:3145943
DOI10.4115/JLA.2009.1.9zbMath1285.03065OpenAlexW2124995888MaRDI QIDQ3145943
Publication date: 17 December 2012
Published in: Journal of Logic and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4115/jla.2009.1.9
Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems (26A24) Applications of computability and recursion theory (03D80) Algorithmic randomness and dimension (03D32)
Related Items (3)
Lowness, Randomness, and Computable Analysis ⋮ Algorithmic randomness, reverse mathematics, and the dominated convergence theorem ⋮ Schnorr randomness and the Lebesgue differentiation theorem
This page was built for publication: A computational aspect of the Lebesgue differentiation theorem
