Title: Forcing, iterated ultrapowers, and Turing degrees
Description: The lecture notes in mathematical logic from the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools.
Subjects: Forcing (Model theory), Model theory, Symbolic and mathematical Logic, Unsolvability (Mathematical logic), Logic, symbolic and mathematical