arXiv:2202.03476 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords second order arithmetic, natural numbers, subtheories, kripke-platek set theory, reverse mathematics Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset