On a continuity theorem for constructive functions

DOI10.1007/S10958-014-1828-9zbMath1391.03043arXiv0711.4963OpenAlexW2096241725MaRDI QIDQ2253862

A. A. Vladimirov

Publication date: 13 February 2015

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0711.4963

zbMATH Keywords

Hausdorff metriccompactnessuniform continuityconstructive metric space

Mathematics Subject Classification ID

Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Constructive and recursive analysis (03F60) Compact (locally compact) metric spaces (54E45) Constructive real analysis (26E40)

This page was built for publication: On a continuity theorem for constructive functions