Aspects of Recursion Theory in Arithmetical Theories and Categories