Computational Prospects Of Infinity – Part Ii: Presented Talks: Presented Talks
Author(s): Qi Feng (Editor), Theodore A Slaman (Editor), W Hugh Woodin (Editor), Yue Yang Chitat Chong (Editor), Chitat Chong (Editor)
Publisher: Wspc
Publication Date: June 2, 2008
Language: English
Print length: 430 pages
ISBN-10: B007JV5P44
Book Description
This volume is a collection of written versions of the talks given at the Workshop on Computational Prospects of Infinity, held at the Institute for Mathematical Sciences from 18 June to 15 August 2005. It consists of contributions from many of the leading experts in recursion theory (computability theory) and set theory. Topics covered include the structure theory of various notions of degrees of unsolvability, algorithmic randomness, reverse mathematics, forcing, large cardinals and inner model theory, and many others.
Computational Prospects Of Infinity – Part Ii: Presented Talks: Presented Talks
Author(s): Qi Feng (Editor), Theodore A Slaman (Editor), W Hugh Woodin (Editor), Yue Yang Chitat Chong (Editor), Chitat Chong (Editor)
Publisher: Wspc
Publication Date: June 2, 2008
Language: English
Print length: 430 pages
ISBN-10: B007JV5P44
Book Description
This volume is a collection of written versions of the talks given at the Workshop on Computational Prospects of Infinity, held at the Institute for Mathematical Sciences from 18 June to 15 August 2005. It consists of contributions from many of the leading experts in recursion theory (computability theory) and set theory. Topics covered include the structure theory of various notions of degrees of unsolvability, algorithmic randomness, reverse mathematics, forcing, large cardinals and inner model theory, and many others.