Forcing, Iterated Ultrapowers, And Turing Degrees

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

2015년 7월 · Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore 29권 · World Scientific

eBook 정보

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.