arXiv:math/9210202 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords core model, complexity, absoluteness theorem Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset