The consistency strength of projective uniformization, revisited
Ralf Schindler
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 JKω1 "there are infinitely many strong cardinals." This is best possible, by a recent result of Steel.
Create a lesson
Related papers
The rank problem for metric spaces
Asger Tornquist
Differential equations as difference-differential equations
Wei Li, Thomas Scanlon
Classification of bipartite observables III: simplicity, mixtures and quantum error correction
Eduardo Dueñez, José Iovino
Indiscernible Extraction in Theories with Bounded k-splitting
Connor Watson
Discrete Temporal CSPs et al
Lukas Pieper
Local definable (p,q)-theorem and a refinement
Gareth John Boxall, Charlotte Kestner, Tsinjo Rakotonarivo