Computational Prospects Of Infinity - Part Ii: Presented Talks

Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang (Herausgeber)

Buch | Hardcover

432 Seiten

2008
World Scientific Publishing Co Pte Ltd (Verlag)
978-981-279-654-7 (ISBN)

Artikel merken

Features a collection of written versions of the talks given at the Workshop on Computational Prospects of Infinity from 18 June to 15 August 2005. This book consists of contributions from experts in recursion theory (computability theory) and set theory. It covers topics such as algorithmic randomness, reverse mathematics, forcing, and others.

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.

Prompt Simplicity, Array Computability and Cupping (R Downey et al.); A Simpler Short Extenders Forcing-Gap 3 (M Gitik); The Strength of Some Combinatorial Principles Related to Ramsey's Theorem for Pairs (D R Hirschfeldt et al.); Absoluteness for Universally Baire Sets and the Uncountable II (I Farah et al.); Modaic Definability of Ordinals (I Neeman); Eliminating Concepts (A Nies); Diamonds on P (M Shioya); Rigidity and Biinterpretability in the Hyperdegrees (R A Shore); Some Fundamentals Issues Concerning Degrees or Unsolvability (S G Simpson); A tt Version of the Poner-Robinson Theorem (W H Woodin); and other papers.

Reihe/Serie	Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore ; 15
Verlagsort	Singapore
Sprache	englisch
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	981-279-654-1 / 9812796541
ISBN-13	978-981-279-654-7 / 9789812796547
Zustand	Neuware