Jensen's celebrated Covering Lemma states that if 0# does not exist, then for any uncountable set of ordinals X, there is a Y∈L such that X⊆Y and |X| = |Y|. Working in ZF + AD alone, we establish the following analog: If ℝ# does not exist, then L(ℝ) and V have exactly the same sets of reals and for any set of ordinals X with |X| ≥ΘL(ℝ), there is a Y∈L(ℝ) such that X⊆Y and |X| = |Y|. Here ℝ is (...) the set of reals and Θ is the supremum of the ordinals which are the surjective image of ℝ. (shrink)

This paper introduces the real core model K() and determines the extent of scales in this inner model. K() is an analog of Dodd-Jensen's core model K and contains L(), the smallest inner model of ZF containing the reals R. We define iterable real premice and show that Σ1∩() has the scale property when vR AD. We then prove the following Main Theorem: ZF + AD + V = K() DC. Thus, we obtain the Corollary: If ZF + AD +()L() (...) is consistent, then ZF + AD + DC + α < ω2 -AD is also consistent. (shrink)

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)