5
$\begingroup$

Could someone point me toward a proof that "ZF + AD + every set of reals is Suslin" (+ $\mathsf{DC}\_\mathbb{R}$?) implies $\mathsf{AD}\_\mathbb{R}$, either with a reference or a hint?

I am interested how local the proof is; that is, which sets of reals need to be Suslin in order to show the determinacy of a particular real game.

$\endgroup$
7
  • $\begingroup$ Sorry about the formatting. I cannot seem to get a subscript \mathbb{R} in the body of the question. $\endgroup$ Oct 17, 2012 at 16:36
  • $\begingroup$ Hi Trevor. Isn't this covered in Richard's paper (More structural consequences of AD)? $\endgroup$ Oct 17, 2012 at 16:43
  • $\begingroup$ Hi Andres, it looks like he just says it is due independently to Martin and Woodin, and is unpublished. $\endgroup$ Oct 17, 2012 at 16:57
  • $\begingroup$ I might be mistaken but if I remember correctly, I saw something like this result in the Cabal reprints (in Steve's Article, volume I). If you don't have them, I'll try to check if it's indeed there later. $\endgroup$ Oct 17, 2012 at 20:03
  • 1
    $\begingroup$ You can find it here : users.miamioh.edu/larsonpb/adplusbook_public.pdf $\endgroup$ Jul 27, 2018 at 5:42

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.