Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part IV, Tome 20 (1971), pp. 160-169
Citer cet article
V. P. Orevkov. On the continuity of constructive functionals. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part IV, Tome 20 (1971), pp. 160-169. http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a14/
@article{ZNSL_1971_20_a14,
author = {V. P. Orevkov},
title = {On the continuity of constructive functionals},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {160--169},
year = {1971},
volume = {20},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a14/}
}
TY - JOUR
AU - V. P. Orevkov
TI - On the continuity of constructive functionals
JO - Zapiski Nauchnykh Seminarov POMI
PY - 1971
SP - 160
EP - 169
VL - 20
UR - http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a14/
LA - ru
ID - ZNSL_1971_20_a14
ER -
%0 Journal Article
%A V. P. Orevkov
%T On the continuity of constructive functionals
%J Zapiski Nauchnykh Seminarov POMI
%D 1971
%P 160-169
%V 20
%U http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a14/
%G ru
%F ZNSL_1971_20_a14
There are investigated effective functionals defined on recursive real functions. Both the continuity of a functional relative to pointwise convergence and the continuity relative to uniform convergence of functions-arguments are investigated.
