Forcing, Iterated Ultrapowers, And Turing Degrees

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics covered set theory and recursion theory, with particular emphasis on forcing, inner model theory and Turing degrees, offering a wide overview of ideas and techniques introduced in contemporary research in the field of mathematical logic.

Contents:

• Prikry-Type Forcings and a Forcing with Short Extenders (Moti Gitik)
• The Turing Degrees: An Introduction (Richard A Shore)
• An Introduction to Iterated Ultrapowers (John Steel)

Readership: Graduate students in mathematics, and researchers in logic, set theory and computability theory.
Key Features:

• These are notes based on short courses given by three leading experts in set theory, recursion theory and their applications