9a2b19e29a9d1540.tex
1: \begin{abstract} 
2:     We expand our effective framework for weak convergence of measures on the real line by showing that effective convergence in the Prokhorov metric is equivalent to effective weak convergence. 
3:     In addition, we establish a framework for the study of the effective theory of vague convergence of measures. 
4:     We introduce a uniform notion and a non-uniform notion of vague convergence, and we show that both these notions are equivalent. 
5:     However, limits under effective vague convergence may not be computable even when they are finite. 
6:     We give an example of a finite incomputable effective vague limit measure, and we provide a necessary and sufficient condition so that effective vague convergence produces a computable limit. 
7:     Finally, we determine a sufficient condition for which effective weak and vague convergence of measures coincide. 
8:     As a corollary, we obtain an effective version of the equivalence between classical weak and vague convergence of sequences of probability measures.
9: 
10:     \smallskip
11:     \noindent \textbf{Keywords.} computable analysis, computable measure theory, effective weak convergence, effective vague convergence
12: \end{abstract}