The equivalence of the two definitions of recursive continuity
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part IV, Tome 20 (1971), pp. 145-159
Cet article a éte moissonné depuis la source Math-Net.Ru
There are described conditions when recursive sequential continuity of effective operation implies its "$\varepsilon-\delta$"-continuity.
@article{ZNSL_1971_20_a13,
author = {V. P. Orevkov},
title = {The equivalence of the two definitions of recursive continuity},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {145--159},
year = {1971},
volume = {20},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a13/}
}
V. P. Orevkov. The equivalence of the two definitions of recursive continuity. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part IV, Tome 20 (1971), pp. 145-159. http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a13/