arXiv:1012.2046 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords consistency strength, proper forcing axiom pfa implies, large cardinal assumption, supercompact cardinal, combinatorial principles Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset