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. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. 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.
Bibliography
Includes bibliographical references.
Contents
Selected applications of logic to classification problem for C*-algebras / Ilijas Farah -- Subcomplete forcing and L-forcing / Ronald Jensen -- E-recursion 2012 / Gerald E. Sacks.
Local Note
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America