arXiv:1711.02007 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords internal structure, jensen-steel core model, determinacy Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset