Metrization of the Uniform Space and Effective Convergence

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200210)48:1+<123::AID-MALQ123>3.0.CO;2-W" /><123::AID-MALQ123>3.0.CO;2-W 10.1002/1521-3870(200210)48:1+<123::AID-MALQ123>3.0.CO;2-WzbMath1019.03032OpenAlexW2010762030MaRDI QIDQ4787862

Yoshiki Tsujii, Mariko Yasugi, Takakazu Mori

Publication date: 16 September 2003

Full work available at URL: https://doi.org/10.1002/1521-3870(200210)48:1+<123::aid-malq123>3.0.co;2-w

zbMATH Keywords

effective convergencemetrizationeffective uniform space

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Uniform structures and generalizations (54E15) Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45)

Related Items (4)

Effective Fine‐convergence of Walsh‐Fourier series ⋮ Two Notions of Sequential Computability of a Function with Jumps ⋮ Integral of Fine Computable functions and Walsh Fourier series ⋮ Computability of a function with jumps: Effective uniformity and limiting recursion

This page was built for publication: Metrization of the Uniform Space and Effective Convergence