|
Zapiski Nauchnykh Seminarov LOMI, 1972, Volume 32, Pages 129–139
(Mi znsl2575)
|
|
|
|
Topological variants of the continuity theorem and of some related theorems
V. P. Chernov
Abstract:
The recursive continuity theorem for operators in separable recursive metric spaces is extended here to operators in a class of first countable constructive (recursive) topological spaces supplied with a limit operator. Other specific theorems of constructive mathematics are also considered.
Citation:
V. P. Chernov, “Topological variants of the continuity theorem and of some related theorems”, Studies in constructive mathematics and mathematical logic. Part V, Zap. Nauchn. Sem. LOMI, 32, "Nauka", Leningrad. Otdel., Leningrad, 1972, 129–139
Linking options:
https://www.mathnet.ru/eng/znsl2575 https://www.mathnet.ru/eng/znsl/v32/p129
|
Statistics & downloads: |
Abstract page: | 114 | Full-text PDF : | 56 |
|