On a Continuity Theorem for Constructive Functions
- 32 Downloads
We prove that any everywhere defined constructive mapping from a compact metric space into a complete metric space that preserves the precompactness of subsets is uniformly continuous. Bibliography: 8 titles.
KeywordsLimit Point Arbitrary Point Semantic System Constructive Function Continuity Theorem
Unable to display preview. Download preview PDF.
- 1.B. A. Kushner, “A constructive version of König’s theorem; functions computable in the sense of Markov, Grzegorczyk, and Lacombe,” in: The Theory of Algorithms and Mathematical Logic [in Russian], B. A. Kushner and N. M. Nagorny (eds.), CC AS USSR (1974), pp. 87–111.Google Scholar
- 3.A. A. Vladimirov and M. N. Dombrovskii-Kabanchenko, Stratified Semantic System [in Russian], CCAS Publ., Moscow (2009).Google Scholar
- 5.B. A. Kushner, Lectures on Constructive Mathematical Analysis, Amer. Math. Soc., Providence, Rhode Island (1973).Google Scholar
- 6.N. A. Shanin, “A sketch of a finitary version of mathematical analysis,” Preprint of PDSIM, 06-2000.Google Scholar