On a continuity theorem for constructive functions

dc.creatorVladimirov, A. A.
dc.date2007-11-30
dc.date.accessioned2026-07-07T08:46:27Z
dc.date.available2026-07-07T08:46:27Z
dc.descriptionOne 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.
dc.description13 pages
dc.identifierhttps://arxiv.org/abs/0711.4963
dc.identifierhttp://arxiv.org/abs/0711.4963
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/143254
dc.subjectLogic
dc.subjectFunctional Analysis
dc.subject03F60; 46S30
dc.titleOn a continuity theorem for constructive functions
dc.typetext

Files

Collections