arXiv:1712.08138 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords large-cardinal axiom, inconsistent, scheme cardinal, victoria marshall implies, extendible cardinals Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset