About the Volume

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School.

Major Topics

The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra.

Intended Audience

This volume offers a wide spectrum of ideas and techniques introduced in contemporary research in the field of mathematical logic to students, researchers and mathematicians.