arXiv:1707.03700 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords class forcing theorem, forcing relation, exact strength, truth predicates, class forcing notion Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset