arXiv:1205.2879 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords provably computable functions, inductive definitions, simplified characterisation, provably total computable functions, peano arithmetic pa Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset