Theodore A. Slaman

• Computational Prospects of Infinity
• Computational Prospects of Infinity Pt. II
• Forcing, Iterated Ultrapowers, and Turing Degrees
• On the theory of the polynomial degrees of the recursive sets