Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Computational Prospects Of Infinity - Part I: Tutorials, PDF eBook

Computational Prospects Of Infinity - Part I: Tutorials PDF

Edited by Chong Chitat Chong, Feng Qi Feng, Slaman Theodore A Slaman, Woodin W Hugh Woodin, Yang Yue Yang

Part of the Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore series

PDF

Download - Immediately Available
Please note: eBooks can only be purchased with a UK issued credit card and all our eBooks (ePub and PDF) are DRM protected.

Description

This volume presents the written versions of the tutorial lectures given at the Workshop on Computational Prospects of Infinity, held from 18 June to 15 August 2005 at the Institute for Mathematical Sciences, National University of Singapore.

It consists of articles by four of the leading experts in recursion theory (computability theory) and set theory.

The survey paper of Rod Downey provides a comprehensive introduction to algorithmic randomness, one of the most active areas of current research in recursion theory.

Theodore A Slaman's article is the first printed account of the ground-breaking work of Slaman-Woodin and Slaman-Shore on the definability of the Turing jump.

John Steel presents some results on the properties of derived models of mice, and on the existence of mice with large derived models.

The study was motivated by some of the well-known Holy Grails in inner model theory, including the Mouse Set Conjecture.

In his presentation, W Hugh Woodin gives an outline of an expanded version (unpublished) on suitable extender sequences, a subject that was developed in the attempt to understand inner model theory for large cardinals beyond the level of superstrong cardinals.The volume serves as a useful guide for graduate students and researchers in recursion theory and set theory to some of the most important and significant developments in these subjects in recent years.

Information

Save 20%

£48.00

£38.40

Download - Immediately Available
Add to Basket
Sign in to add to wishlist
 
Delivered to your inbox

to transfer to your device

eBook Help

Is this the right eBook for
my device? How do I download
this eBook? See help and FAQs pages

Information