arXiv:1907.00877 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords weak set theory, consistency, result connecting kalmar elementary arithmetic, conservation result connecting kalmar elementary, finite von neumann ordinals Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset