We prove within K\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${K}$$\end{document} that the axiom of determinacy is equivalent to the assertion that for each ordinal λ λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa > \lambda}$$\end{document}. Here Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Theta}$$\end{document} is the supremum of the ordinals which are the surjective image of the set of reals R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{R}}$$\end{document}.

We show, using the fine structure of K, that the theory ZF + AD + X R[X K] implies the existence of an inner model of ZF + AD + DC containing a measurable cardinal above its Θ, the supremum of the ordinals which are the surjective image of R. As a corollary, we show that HODK = K for some P K where K is the Dodd-Jensen Core Model relative to P. In conclusion, we show that the theory ZF (...) + AD + ¬DCR implies that R† exists. (shrink)