zbMATH — the first resource for mathematics

Differentiation and constructive functions of a real variable and relative computability. (English) Zbl 0699.03034
Mathematical logic and its applications, Proc. Adv. Int. Summer Sch. Conf., Druzhba/Bulg. 1986, 81-106 (1987).
Summary: [For the entire collection see Zbl 0695.00003.]
The paper belongs to constructive mathematics of Markov school. The aim of it is to introduce some relativized notions into constructive mathematical analysis (CMA) and to present a few results concerning differentiability of constructive real-valued functions of a real variable as an example of the utilization of the relativization.

03F60 Constructive and recursive analysis