The axiom of determinacy implies dependent choices in L(R)

Abstract

AbstractWe prove the following Main Theorem: ZF + AD + V ⇒ L(R) ⇒ DC. As a corollary we have that Con(ZF + AD) ⇒ Con(ZF + AD + DC). Combined with the result of Woodin that Con(ZF + AD) ⇒ Con(ZF + AD + ¬ ACω) it follows that DC (as well as ACω) is independent relative to ZF + AD. It is finally shown (jointly with H. Woodin) that ZF + AD + ¬DCR, where DCR is DC restricted to reals, implies the consistency of ZF + AD + DC, in fact implies R# (i.e. the sharp of L(R)) exists.