×

zbMATH — the first resource for mathematics

Arithmetic complexity of differentiation in constructive mathematics. (Russian) Zbl 0582.03049
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
PDF BibTeX XML Cite
Full Text: EuDML