arXiv:1502.03622 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords nonstandard numbers, primitive recursion, recursive inside nelsons syntactic framework, general bar recursion, primitive recursive inside nelsons syntactic Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset