Core model induction is a technique for evaluating lower bounds of consistency strengths of set theoretic hypothesis. It was invented by Woodin and has been very successful. The speaker will outline how it works and will explain a recent application of it, namely that the existence of omega_1 dense ideal on omega_1 with CH and an extra assumption that the generic embedding restricted to ordinals is independent of the generic object is equiconsistent with AD_R+Theta is regular. The backwards direction is due to Woodin and the forward direction is due to the speaker.