Lifting problem of the measure algebra
Let \({\mathcal B}\) be the family of Borel subsets of (0,1). Every Borel set \(\subseteq (0,1)\) has a definition \(\Phi\) (in the propositional calculus \(L_{\omega_ 1,\omega})\), i.e., it acts on the proportional variables \(n\in r\). We let \(A=Bo[\Phi]\) be the Borel set corresponding to this definition. Let \(I_{mz}\) be the family of \(A\in {\mathcal B}\) of measure zero and \(I_{fc}\) be the family of \(A\in {\mathcal B}\) which are of the first category. We prove the consistency of \({\mathcal B}/I_{mz}\) does not split. We write the proof so that with the standard duality, also the consistency of \({\mathcal B}/I_{fc}\) does not split (i.e., replacing measure zero by first category, random by generic, etc.) is proved. The method is the oracle chain condition.
- Liftings for Haar measure on \(\{0,1\}^ k\)
- Linear liftings for non-complete probability spaces
- The descriptive set theory of the Lebesgue density theorem
- A lower density operator for the Borel algebra
- On the pointwise implementation of near-actions
- scientific article; zbMATH DE number 3920848 (Why is no real title available?)
- Liftings and the Property of Baire in Locally Compact Groups
- Borel Liftings of the Measure Algebra and the Failure of the Continuum Hypothesis
- Lifting measures to inducing schemes
- The metric-valued Lebesgue differentiation theorem in measure spaces and its applications
- On the differentiation of integrals in measure spaces along filters. II.
- Extremally disconnected spaces, subspaces and retracts
This page was built for publication: Lifting problem of the measure algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q800355)
