arXiv:1410.3649 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords natural numbers, categorical characterizations, primitive recursion, second-order sentence, categoricity theorem implies Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset