RUS  ENG
Full version
JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

Zap. Nauchn. Sem. 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.

UDC: 518.5


 English version:
Journal of Soviet Mathematics, 1980, 14:5, 1547–1554

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025