Orevkov, V. P. On the continuity of constructive functionals. (Russian) Zbl 0223.02028 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 160-169 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03F99 Proof theory and constructive mathematics 26A15 Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable 03D20 Recursive functions and relations, subrecursive hierarchies × Cite Format Result Cite Review PDF Full Text: EuDML