A Formal System for Euclid's Elements. - Jeremy Avigad; Edward T. Dean; John Mumma (Rev. Symb. Log., 2009)

Algorithmic randomness, reverse mathematics, and the dominated convergence theorem. - Jeremy Avigad; Edward T. Dean; Jason M. Rute (Ann. Pure Appl. Log., 2012)

A metastable dominated convergence theorem. - Jeremy Avigad; Edward T. Dean; Jason M. Rute (J. Log. Anal., 2012)