CH, V = L, disintegration of measures, and _1¹ sets

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50) Integration and disintegration of measures (28A50)

Abstract: In 1950 Maharam asked whether every disintegration of a

s i g m a

-finite measure into

s i g m a

-finite measures is necessarily uniformly

s i g m a

-finite. Over the years under special conditions on the disintegration, the answer was shown to be yes. However, we show here that the answer may depend on the axioms of set theory in the following sense. If CH, the continuum hypothesis holds, then the answer is no. One proof of this leads to some interesting problems in infinitary combinatorics. If G"odel's axiom of constructibility

m a t h b f V = m a t h b f L

holds, then not only is the answer no, but, of equal interest is the construction of

m a t h b f {P i}_{1}^{1}

sets with very special properties.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: CH, \(V = L\), disintegration of measures, and \(\Pi_1^1\) sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2359922)