×

On the continuity of constructive functionals. (Russian) Zbl 0223.02028

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