On a continuity theorem for constructive functions

Details On a continuity theorem for constructive functions On a continuity theorem for constructive functions

2007-11-30

arxiv.org/abs/0711.4963v1

Mathematics

Logic

13 pages

Scientific paper

One proves that any everywhere defined constructive mapping from a complete
metric space into a complete metric space which preserves the property of
precompacity of subsets is locally uniformly continuous. This fact can be
viewed as interpretation of L. E. J. Brower's fan theorem in terms of A. A.
Markov's constructive analysis.

Affiliated with

Also associated with

No associations

Rating

On a continuity theorem for constructive functions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On a continuity theorem for constructive functions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On a continuity theorem for constructive functions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-702985