Effective Sequence of Uniformities and its Effective Limit.
Mariko Yasugi, Takakazu Mori, Yoshiki Tsujii · 2005
diagonal uniformity The effective sequence of unifomities on a set and its effective limit are defined. We can then express some notion of computability of a sequence of functions which have different jump points. As an example, a sequence of uniformities on the set [0, 1) is discussed. 1