投射单值化的一致性强度，再论
The consistency strength of projective uniformization, revisited
摘要：
证明了若实数的每个射影集都是勒贝格可测的且具有Baire性质，若平面上的每个射影集都有射影单化，且Steel的K存在，则J^ K_{ω_1} \models“有无穷多个强基数.“这是最好的可能性，最近的结果钢。
英文摘要：
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_{ω_1} \models "there are infinitely many strong cardinals." This is best possible, by a recent result of Steel.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
