Algorithmic randomness, reverse mathematics, and the dominated convergence theorem

Jeremy Avigad, Edward Dean, Jason Rute

We analyze the pointwise convergence of a sequence of computable elements of L^1(2^omega) in terms of algorithmic randomness. We consider two ways of expressing the dominated conve…