About the Book

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.

Major Topics

The major topics covered include set theory and recursion theory, with particular emphasis on forcing, inner model theory, and Turing degrees.

Overview

It offers a wide overview of ideas and techniques introduced in contemporary research in the field of mathematical logic.