1521-3870/asset/2256_left.gif?v=1&s=becebab9c3e85769a14b145f17b8e337848bc48b)
1521-3870/asset/2256_right.gif?v=1&s=6d251fa351b8e0943ed3dc42b2beb251d4cbfa3e)
Original Paper
Metrization of the Uniform Space and Effective Convergence
Article first published online: 14 OCT 2002
DOI: 10.1002/1521-3870(200210)48:1+<123::AID-MALQ123>3.0.CO;2-W
© 2002 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
Issue
1521-3870/asset/cover.gif?v=1&s=3df32dbed8d9153ac6eafe1eaa786854b9b48345 "Mathematical Logic Quarterly")
Mathematical Logic Quarterly
Supplement: Mathematical Logic Quarterly/Supplement 1
Volume 48, Issue Supplement 1, pages 123–130, October 2002
Additional Information
How to Cite
Yasugi, M., Tsujii, Y. and Mori, T. (2002), Metrization of the Uniform Space and Effective Convergence. Mathematical Logic Quarterly, 48: 123–130. doi: 10.1002/1521-3870(200210)48:1+<123::AID-MALQ123>3.0.CO;2-W
Publication History
- Issue published online: 14 OCT 2002
- Article first published online: 14 OCT 2002
- Manuscript Revised: 3 MAY 2002
- Manuscript Received: 29 DEC 2001
- Abstract
- References
- Cited By
Keywords:
- Effective uniform topology;
- Metrization of uniform topology;
- Effective convergence
Abstract
The subject of the present article is the following fact. Consider an effective uniform space. A generally constructed metric from the uniformity has the property that a sequence from the space effectively converges with respect to the uniform topology if and only if it does with respect to the induced metric. This can be shown without assuming the computability of the metric.