arXiv:2012.07185 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords ordinal definability, tame mouse modelling zfc, minimal mice model, fine structural hypothesis, initial segment Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset