arXiv:1312.7275 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords pr map code evaluation, arithmetical foundations, terminating general recursive maps, set theory, primitive recursion Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset