-sets of reals

From MaRDI portal
Publication:5287680





Let \(\Delta^ 1_ 3(L)\), \(\Delta^ 1_ 3(B)\) and \(\Delta^ 1_ 3(R)\) mean that all \(\Delta^ 1_ 3\) sets of reals are Lebesgue measurable, have the Baire property and are Ramsey, resp. The authors give models for `\(\Delta^ 1_ 3(R)+\neg\Delta^ 1_ 3(L)+ \neg\Delta^ 1_ 3(B)\)' and `\(\Delta^ 1_ 3(R)+\Delta^ 1_ 3(L)+\neg \Delta^ 1_ 3(B)\)'. (The second model uses a measurable cardinal.) Together with results known earlier this shows that no implication between the above properties is provable in ZFC.











This page was built for publication: -sets of reals

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