Xiaokang Yu Lebesgue Convergence Theorems and Reverse Mathematics. 1-13 1994 40 Math. Log. Q. db/journals/mlq/mlq40.html#Yu94