MYHILL WORK IN RECURSION-THEORY

In this paper we discuss the following contributions to recursion theory made by John Myhill: (1) two sets are recursively isomorphic iff they are one-one equivalent; (2) two sets are recursively isomorphic iff they are recursively equivalent and their complements are also recursively equivalent; (3) every two creative sets are recursively isomorphic; (4) the recursive analogue of the Cantor-Bernstein theorem; (5) the notion of a combinatorial function and its use in the theory of recursive equivalence types.