Disambiguations:
Edward T. Dean [3]Edward Dean [1]
See also:
Profile: Edward Dean (Carnegie Mellon University)
  1. Jeremy Avigad, Edward Dean & John Mumma (2009). A Formal System for Euclid's Elements. 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   10 citations  
  2. Jeremy Avigad, Edward T. Dean & Jason Rute, A Metastable Dominated Convergence Theorem.
    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  
  3. Jeremy Avigad, Edward T. Dean & Jason Rute (2012). Algorithmic Randomness, Reverse Mathematics, and the Dominated Convergence Theorem. 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