Some applications of the core model