1949
2 works on record
Techniques of admissible recursion theory
Forcing, iterated ultrapowers, and Turing degrees