@misc{indiciae8960dfa4b6f5, title = {The maximality of the core model}, author = {Ernest Schimmerling and John R. Steel}, year = {1997}, url = {https://arxiv.org/abs/math/9702206}, note = {Source identifier: math/9702206} }