arXiv:1603.03272 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords fefermans forays, foundation, consistency strength, category theory internal, small/large restrictions Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset