C.-T Chong1949BooksForcing, iterated ultrapowers, and Turing degreesTechniques of admissible recursion theoryAuthor data: Open Library