arXiv:math/0002089 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords core model, linear iterations, weakest anti large cardinal assumption, normal iteration tree, exact consistency strength Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset