Geodesic
On some properties of mappings of sheafspaces
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part VI, Tome 40 (1974), pp. 136-141

Voir la notice de l'article provenant de la source Math-Net.Ru

The note is a sequel to [1], [2]. It is proved that the domains of constructive mappings of sheaf-spaces are intersections of enumerable families of constructively open sets (and under some additional conditions even intersections of enumerable families of Lacombe sets). An approximative type notion of neighbourhood operator is introduced and a relation between the neighbourhood operators and constructive mappings is established. Two theorems on anormal form of constructive operators of finite types are formulated. 
@article{ZNSL_1974_40_a16,
     author = {V. P. Chernov},
     title = {On some properties of mappings of sheafspaces},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {136--141},
     publisher = {mathdoc},
     volume = {40},
     year = {1974},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1974_40_a16/}
}
TY  - JOUR
AU  - V. P. Chernov
TI  - On some properties of mappings of sheafspaces
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1974
SP  - 136
EP  - 141
VL  - 40
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1974_40_a16/
LA  - ru
ID  - ZNSL_1974_40_a16
ER  - 
%0 Journal Article
%A V. P. Chernov
%T On some properties of mappings of sheafspaces
%J Zapiski Nauchnykh Seminarov POMI
%D 1974
%P 136-141
%V 40
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1974_40_a16/
%G ru
%F ZNSL_1974_40_a16
V. P. Chernov. On some properties of mappings of sheafspaces. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part VI, Tome 40 (1974), pp. 136-141. http://geodesic.mathdoc.fr/item/ZNSL_1974_40_a16/