|
Zapiski Nauchnykh Seminarov LOMI, 1976, Volume 60, Pages 183–193
(Mi znsl2077)
|
|
|
|
Hierarchies of operators in constructive metric spaces
S. V. Pakhomov
Abstract:
Infinite hierarchies of operators in constructive metric spaces (CMS's) are constructed, based on the convergence of an approximate representation of the operators. Under fairly general restrictions on the CMS (these restrictions are satisfied by, e.g., a CMS of constructive real numbers and a CMS of general recursive functions) it is shown that these hierarchies are nondegenerate. The hierarchies constructed are used for studying the complexity of operators on general recursive functions. Operators of superposition and bounded and unbounded minimization are considered, along with diverse recursion operators.
Citation:
S. V. Pakhomov, “Hierarchies of operators in constructive metric spaces”, Studies in constructive mathematics and mathematical logic. Part VII, Zap. Nauchn. Sem. LOMI, 60, "Nauka", Leningrad. Otdel., Leningrad, 1976, 183–193; J. Soviet Math., 14:5 (1980), 1547–1554
Linking options:
https://www.mathnet.ru/eng/znsl2077 https://www.mathnet.ru/eng/znsl/v60/p183
|
Statistics & downloads: |
Abstract page: | 131 | Full-text PDF : | 51 |
|