Forcing, iterated ultrapowers, and Turing degrees
by C.-T Chong, Qi Feng, T. A. Slaman, W. H. Woodin, Yue Yang
Forcing (Model theory)Model theorySymbolic and mathematical LogicUnsolvability (Mathematical logic)Logic, symbolic and mathematical
The lecture notes in mathematical logic from the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools.
Writing a summary for young readers…
For young readers
Book data: Open Library