The maximality of the core model

Ernest Schimmerling, John R. Steel

If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several a…