Algorithmic randomness, reverse mathematics, and the dominated convergence theorem

Jeremy Avigad, Edward T. Dean, Jason Rute. Algorithmic randomness, reverse mathematics, and the dominated convergence theorem. Annals of Pure and Applied Logic, 163(12):1854-1864, 2012. [doi]

Abstract

Abstract is missing.