arXiv:2203.05250 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords basic mathematical notions, computational properties, higher-order computability theory, kleenes s1-s9 schemes, mainstream mathematics literature Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset