Email Record: Techniques of admissible recursion theory /