arXiv:2401.01979 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords large cardinals, low level definability, measurable cardinals, minimal proper class mouse, maximal independent families Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset