We prove a generalization of Alex Heller's existence theorem for recursion categories; this generalization was suggested by work of Di Paola and Montagna on syntactic -recursion categories arising from consistent extensions of Peano Arithmetic, and by the examples of recursion categories of...