Author : Chitat Chong,Qi Feng,Theodore A Slaman,W Hugh Woodin,Yue Yang
Publisher : World Scientific
Page : 184 pages
File Size : 55,8 Mb
Release : 2015-07-30
Category : Mathematics
ISBN : 9789814699969
Forcing, Iterated Ultrapowers, and Turing Degrees by Chitat Chong,Qi Feng,Theodore A Slaman,W Hugh Woodin,Yue Yang Pdf
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. Contents:Prikry-Type Forcings and a Forcing with Short Extenders (Moti Gitik)The Turing Degrees: An Introduction (Richard A Shore)An Introduction to Iterated Ultrapowers (John Steel) Readership: Graduate students in mathematics, and researchers in logic, set theory and computability theory. Key Features:These are notes based on short courses given by three leading experts in set theory, recursion theory and their applicationsKeywords:Logic;Set Theory;Forcing;Recursion Theory;Computability Theory;Turing Degrees;C*-algebra