4
$\begingroup$

I was hoping to get a reference particularly for the $ \Leftarrow $ half of the equiconsistency $$\operatorname{Con}(\mathrm{ZFC} + \text{“There are infinitely many Woodin cardinals"}) \iff \operatorname{Con}\left(\mathrm{ZFC} + \mathrm{AD}^{L(R)}\right)\text.$$

$\endgroup$
7
$\begingroup$

The reference you want is

MR2768702. Koellner, Peter; Woodin, W. Hugh. Large cardinals from determinacy. Handbook of set theory. Vols. 1, 2, 3, 1951–2119, Springer, Dordrecht, 2010.

Other sources (such as the final chapter of Kanamori's book) briefly discuss the result, but this is the only place where the details are given. More recent papers deal with extensions, but they all build on this work. The result is due to Woodin, the history is described carefully in the chapter.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.