The consistency strength of projective uniformization, revisited
Logic
2016-09-07 v1
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.
Cite
@article{arxiv.math/9710201,
title = {The consistency strength of projective uniformization, revisited},
author = {Ralf Schindler},
journal= {arXiv preprint arXiv:math/9710201},
year = {2016}
}