Об аппроксимативном варианте понятия конструктивной аналитической функции

Конструктивная аналитическая функция $f$ определяется как пара вида $(A,\Omega)$, где $A$ – фундаментальная последовательность в некотором конструктивном метрическом пространстве, $\Omega$ – регулятор ее сходимости в себе. Соответствующая функции $f$ точечно определенная функция $f^*$ оказывается дифференцируемой по Бишопу [2], а область определения $f^*$ является пределом возрастающей последовательности компактов. Аппроксимативно определяются производная конструктивной аналитической функции и интеграл по кривой. Показывается, что для таких функций справедливы основные теоремы конструктивного комплексного анализа. Библ. 8 назв.