Edward Dean

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 space. We prove a slight strengthening of Tao’s theorem which, moreover, provides an explicit description of the second bound in terms of the first. Specifically, we show that when the first bound is given by a continuous functional, the bound in the conclusion can be computed by a recursion along the tree of unsecured sequences. We also establish a quantitative version of Egorov’s theorem, and introduce a new mode of convergence related to these notions

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 conjunction of the statement asserting the existence of a 2-random relative to any given set and the principle of Σ2 collection

We present a translation of §§160-166 of Dedekind's Supplement XI to Dirichlet's Vorlesungen über Zahlentheorie, which contain an investi- gation of the sub-fields of C. In particular, Dedekind explores the lattice structure of these sub-fields, by studying isomorphisms between them. He also indicates how his ideas apply to Galois theory. After a brief introduction, we summarize the translated excerpt, emphasizing its Galois-theoretic highlights. We then take issue with Kiernan's characterization of Dedekind's work in his extensive survey article on the history of Galois theory; Dedekind has a nearly complete realization of the modern "fundamental theorem of Galois theory" (for sub-fields of C), in stark contrast to the picture presented by Kiernan at points. We intend a sequel to this article of an historical and philosophical nature. With that in mind, we have sought to make Dedekind's text accessible to as wide an audience as possible. Thus we include a fair amount of background and exposition