University of Pittsburgh, Pittsburgh, PA 15260, USA;University of Connecticut, Storrs, CT 06268, USA;University of Pittsburgh, Pittsburgh, PA 15260, USA;University of Helsinki, Finland
Abstract:
The Product Measure Extension Axiom (PMEA) asserts that for every set A, Haar measure on 2A can be extended to all subsets of 2A. PMEA implies the normal Moore space conjecture. Proposition P is the statement that every point-finite analytic-additive family of subsets of a metrizable space is σ-discretely decomposible. Proposition P is useful in nonseparable Borel theory. We show in this paper that PMEA implies Proposition P.