3 works on record
Computational Prospects of Infinity Pt. II
Computational Prospects of Infinity
Forcing, Iterated Ultrapowers, and Turing Degrees