TY  - RPRT
TI  - Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
AU  - Jeremy Avigad
AU  - Edward Dean
AU  - Jason Rute
PY  - 2012
DO  - 10.1016/j.apal.2012.05.010
UR  - https://arxiv.org/abs/1106.0775
ID  - 1106.0775
ER  -