Weak covering and the tree property

Abstract. Suppose that there is no transitive model of ZFC + there is a strong cardinal, and let K denote the core model. It is shown that if $\delta$ has the tree property then $\delta^{+K} = \delta^+$ and $\delta$ is weakly compact in K.