Projective uniformization revisited (Q1977487)

This paper is part of what the authors call ``the Victoria Delfino Project'' (p.~110). The twelfth Victoria Delfino Problem [Cabal seminar 81-85, Proc., Caltech-UCLA Logic Semin., Los Angeles/Calif. 1981-85, Lect. Notes Math. 1333, 221-224 (1988; Zbl 0648.03036)] asked about the consistency strength of the statement ``Every projective set is Lebesgue measurable, has the property of Baire, and has a projective uniformization'' (\textbf{VD\#12}). The authors compute the consistency strength of (\textbf{VD\#12}) in the base theory ZFC \(+\) ``there is a measurable cardinal'' (the upper bound is due to Steel, September 1997). It is exactly the strength of ``there is a strictly increasing sequence \(\langle \kappa_i~;~i\in\omega\rangle\) of \(\lambda^+\)-strong cardinals (where \(\lambda = \sup \{\kappa_i~;~i\in\omega\}\))'' (Theorem 4.2). The result needs a computation of the complexity of \({\mathcal J}^{\mathbb K}_{\omega_1^{\mathbb V}}\) in the case that this segment contains only finitely many (locally) strong cardinals (Theorem 3.4), generalizing theorems of \textit{K. Hauser} [Ann. Pure Appl. Logic 74, No. 3, 245-295 (1995; Zbl 0836.03025)]. Prerequisites for reading this paper are a basic understanding of descriptive set theory and a very strong grasp on methods and techniques of core model theory. The authors use Jensen's indexing method from ``A new fine structure for higher core models'' [handwritten notes, 1997]. The results of this paper have been strengthened by \textit{R. D. Schindler} [Math. Log. Q. 45, No. 3, 361-369 (1999; Zbl 0931.03059)] beyond the projective hierarchy. Furthermore, Schindler developed in his \textsl{Habilitationsschrift} the core models needed in this paper without the additional metamathematical assumption of a measurable cardinal, thereby strengthening the main result of this paper.