Extension Theorems in Measure and Integration Theory as Completeness Axioms

Abstract

In measure and integration theory, the themes of extending premeasures to outer measures and extending Daniell linear functionals to Daniell integrals are governed by the foundational extension theorems of Caratheodory and Daniell. These are proven to be equivalent to Littlewood's Three Principles, which are known to be equivalent alternatives to a completeness axiom for an ordered field. The continuity theorems of measure and integration theory are consequently shown to be included in the list of equivalences.