Forcing, Iterated Ultrapowers, And Turing Degrees

Chi Tat Chong · W Hugh Woodin · Theodore A Slaman · Yue Yang · Qi Feng

07.2015 г. · Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore Книга 29 · World Scientific

Всичко за тази електронна книга

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.