19 citations · 19 across the 1 of their papers we have counts for
3 papers
math.FA2011★ 19 cited
Metastable convergence theorems
Jeremy Avigad, Edward Dean, Jason Rute
The dominated convergence theorem implies that if (f_n) is a sequence of functions on a probability space taking values in the interval [0,1], and (f_n) converges pointwise a.e., t…
math.LO2011
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…
math.LO2008
A formal system for Euclid's Elements
Jeremy Avigad, Edward Dean, John Mumma
We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.