×

zbMATH — the first resource for mathematics

Remarks on constructive mathematical analysis. (English) Zbl 0437.03030
Logic colloquium ’78, Proc., Mons/Belgium 1978, Stud. Logic Found. Math. Vol. 97, 81-129 (1979).
MSC:
03F65 Other constructive mathematics
26A39 Denjoy and Perron integrals, other special integrals
26A45 Functions of bounded variation, generalizations
26A15 Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable
26A42 Integrals of Riemann, Stieltjes and Lebesgue type
26A24 Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems