Computational Prospects Of Infinity - Part I: Tutorials (Lecture Notes)

Computational Prospects Of Infinity - Part I: Tutorials (Lecture Notes), 9789812796530 (9812796533), World Scientific Publishing, 2008

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.

Contents: Five Lectures on Algorithmic Randomness (R Downey); Global Properties of the Turing Degrees and the Turing Jump (T A Slaman); Derived Models Associated to Mice (J R Steel); Tutorial Outline: Suitable Extender Sequences (W H Woodin).

Comments

Amazing Books

Solid Modelling and CAD Systems: How to Survive a CAD System

Springer, 2011

Solid Modelling and CAD Systems gives users an insight into the methods and problems associated with CAD systems. It acts as a bridge between users who learn interfaces without understanding how they work and developers who create systems without understanding the needs of the users.

The main feature of Solid Modelling...

Breast Cancer: Nuclear Medicine in Diagnosis and Therapeutic Options

Springer, 2007

There can never be enough material in the public domain about cancers, and particularly breast cancer. This book adds much to the literature. It provides general information on breast cancer management and considers all new methods of diagnosis and therapy. It focuses on nuclear medicine modalities by comparing their results with other...

A Practical Guide to Content Delivery Networks, Second Edition

CRC Press, 2010

Following in the tradition of its popular predecessor, A Practical Guide to Content Delivery Networks, Second Edition offers an accessible and organized approach to implementing networks capable of handling the increasing data requirements of today's always on mobile society. Describing how content delivery networks...

MCTS 70-643 Exam Cram: Windows Server 2008 Applications Infrastructure, Configuring (Exam Cram)

Que, 2008

Welcome to the 70-643 Exam Cram! Whether this book is your first or your 15th Exam Cram series book, you'll find information here that will help ensure your success as you pursue knowledge, experience, and certification. This book aims to help you get ready to take and pass the Microsoft certification exam "TS: Windows Server 2008...

Getting Started with Electronic Projects

Packt Publishing, 2015

Build thrilling and intricate electronic projects using LM555, ZigBee, and BeagleBone

About This Book

Get acquainted with fundamental concepts such as tools and circuits required for the projects

Develop stunning cost-effective projects and build your own range of designs including...

Telecommunication Switching and Networks

New Age Publications, 2008

This text, ‘Telecommunication Switching and Networks’ is intended to serve as a onesemester text for undergraduate course of Information Technology, Electronics and Communication Engineering, and Telecommunication Engineering. This book provides in depth knowledge on telecommunication switching and good background for advanced...