arXiv:1307.7387 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords large cardinals, supercompact cardinal, woodin-for-supercompactness cardinals, super-high-jump cardinals, results relating high-jump cardinals Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset