Order:
Disambiguations
Edward T. Dean [3]Edward Dean [1]
See also
Profile: Edward Dean (Carnegie Mellon University)
  1. A Formal System for Euclid's Elements.Jeremy Avigad, Edward Dean & John Mumma - 2009 - Review of Symbolic Logic 2 (4):700--768.
    We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.
    Direct download (11 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  2.  2
    Algorithmic Randomness, Reverse Mathematics, and the Dominated Convergence Theorem.Jeremy Avigad, Edward T. Dean & Jason Rute - 2012 - Annals of Pure and Applied Logic 163 (12):1854-1864.
    We analyze the pointwise convergence of a sequence of computable elements of L1 in terms of algorithmic randomness. We consider two ways of expressing the dominated convergence theorem and show that, over the base theory RCA0, each is equivalent to the assertion that every Gδ subset of Cantor space with positive measure has an element. This last statement is, in turn, equivalent to weak weak Königʼs lemma relativized to the Turing jump of any set. It is also equivalent to the (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  3. A Metastable Dominated Convergence Theorem.Jeremy Avigad, Edward T. Dean & Jason Rute - unknown
    The dominated convergence theorem implies that if is a sequence of functions on a probability space taking values in the interval [0, 1], and converges pointwise a.e., then converges to the integral of the pointwise limit. Tao [26] has proved a quantitative version of this theorem: given a uniform bound on the rates of metastable convergence in the hypothesis, there is a bound on the rate of metastable convergence in the conclusion that is independent of the sequence and the underlying (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography