The consistency strength of projective uniformization, revisited

Author name not available (Why is that?)

Abstract: It is shown that if every projective set of reals is Lebesgue measurable and has the property of Baire, if every projective set in the plane has a projective uniformization, and if Steel's K exists, then J^K_{omega_1} models "there are infinitely many strong cardinals." This is best possible, by a recent result of Steel.

This page was built for publication: The consistency strength of projective uniformization, revisited

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