Effective Dini's Theorem on Effectively Compact Metric Spaces
Hiroyasu Kamo · Electronic Notes in Theoretical Computer Science · 2005
We show that if a computable sequence of real-valued functions on an effectively compact metric space converges pointwise monotonically to a computable function, then the sequence converges effectively uniformly to the function. This is an effectivized version of Dini's Theorem.