Demuth, O. Arithmetic complexity of differentiation in constructive mathematics. (Russian) Zbl 0582.03049 Commentat. Math. Univ. Carol. 24, 301-316 (1983). We study the arithmetic complexity of differentiation of everywhere- defined [0]-constructive functions of a real variable for arithmetic real numbers. We study how this complexity changes if we exclude (a) functions that are not effectively (or classically) uniformly continuous, and/or (b) sets of arithmetic real numbers of small measure. MSC: 03F65 Other constructive mathematics 03D30 Other degrees and reducibilities in computability and recursion theory 26A24 Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems Keywords:constructive functions of a real variable; arithmetic real numbers PDF BibTeX XML Cite \textit{O. Demuth}, Commentat. Math. Univ. Carol. 24, 301--316 (1983; Zbl 0582.03049) Full Text: EuDML