arXiv:2402.04065 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords woodin cardinals, minimal proper class inner model, canonical minimal proper class inner, set generic extension, proper class inner model containing Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset