Cargando…
Computational prospects of infinity. Part I, Tutorials /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore ; Hackensack, N.J. :
World Scientific Pub. Co.,
©2008.
|
| Colección: | Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ;
v. 14. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn820944486 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 081203s2008 si a ob 100 0 eng d | ||
| 040 | |a LGG |b eng |e pn |c LGG |d OCLCO |d E7B |d DEBSZ |d OCLCO |d YDXCP |d OCLCQ |d OCLCO |d OCLCF |d OCLCO |d OCLCQ |d OCLCO |d LOA |d OCLCO |d OCLCQ |d COCUF |d MOR |d CCO |d PIFAG |d MERUC |d OCLCQ |d ZCU |d U3W |d STF |d WRM |d NRAMU |d ICG |d INT |d OCLCQ |d DKC |d AU@ |d OCLCQ |d OCL |d VT2 |d UKCRE |d OCLCO |d OCLCQ |d QGK |d S2H |d OCLCO |d OCLCL | ||
| 019 | |a 904826775 |a 960200780 |a 961564195 |a 962703397 |a 966254368 |a 988499334 |a 991998763 |a 1037710034 |a 1038567574 |a 1045468232 |a 1086490095 |a 1153006446 |a 1153518747 |a 1228542540 |a 1259204565 |a 1289520264 | ||
| 020 | |a 9812794050 |q (electronic bk.) | ||
| 020 | |a 9789812794055 |q (electronic bk.) | ||
| 020 | |z 9812796533 | ||
| 020 | |z 9789812796530 | ||
| 020 | |z 9812796541 | ||
| 020 | |z 9789812796547 | ||
| 020 | |a 1281934348 | ||
| 020 | |a 9781281934345 | ||
| 020 | |a 9786611934347 | ||
| 020 | |a 6611934340 | ||
| 029 | 1 | |a AU@ |b 000052939428 | |
| 029 | 1 | |a AU@ |b 000058361724 | |
| 029 | 1 | |a DEBBG |b BV044175549 | |
| 029 | 1 | |a DEBSZ |b 384345468 | |
| 029 | 1 | |a NZ1 |b 15912526 | |
| 035 | |a (OCoLC)820944486 |z (OCoLC)904826775 |z (OCoLC)960200780 |z (OCoLC)961564195 |z (OCoLC)962703397 |z (OCoLC)966254368 |z (OCoLC)988499334 |z (OCoLC)991998763 |z (OCoLC)1037710034 |z (OCoLC)1038567574 |z (OCoLC)1045468232 |z (OCoLC)1086490095 |z (OCoLC)1153006446 |z (OCoLC)1153518747 |z (OCoLC)1228542540 |z (OCoLC)1259204565 |z (OCoLC)1289520264 | ||
| 050 | 4 | |a QA248 .W67 | |
| 082 | 0 | 4 | |a 511.322 |2 22 |
| 049 | |a UAMI | ||
| 111 | 2 | |a Workshop on Computational Prospects of Infinity |d (2005 : |c Institute for Mathematical Sciences, National University of Singapore) | |
| 245 | 1 | 0 | |a Computational prospects of infinity. |n Part I, |p Tutorials / |c editors, Chitat Chong [and others]. |
| 260 | |a Singapore ; |a Hackensack, N.J. : |b World Scientific Pub. Co., |c ©2008. | ||
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ; |v v. 14 | |
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a Recursion theory tutorials. Five lectures on algorithmic randomness / Rod Downey. Global properties of the Turing degrees and the Turing jump / Theodore A. Slaman -- Set theory tutorials. Derived models associated to mice / John R. Steel. Tutorial outline: suitable extender sequences / W. Hugh Woodin. | |
| 520 | |a 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. | ||
| 546 | |a English. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Recursion theory |v Congresses. | |
| 650 | 0 | |a Set theory |v Congresses. | |
| 650 | 0 | |a Infinite |v Congresses. | |
| 650 | 6 | |a Théorie de la récursivité |v Congrès. | |
| 650 | 6 | |a Théorie des ensembles |v Congrès. | |
| 650 | 6 | |a Infini |v Congrès. | |
| 650 | 7 | |a Infinite |2 fast | |
| 650 | 7 | |a Recursion theory |2 fast | |
| 650 | 7 | |a Set theory |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Chong, C.-T. |q (Chi-Tat), |d 1949- |1 https://id.oclc.org/worldcat/entity/E39PBJt8m4PHhJYfHR4DGBDpfq | |
| 758 | |i has work: |a Computational Prospects of Infinity (Text) |1 https://id.oclc.org/worldcat/entity/E39PCY4d88dBWdqdWxV7dGPyBd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Workshop on Computational Prospects of Infinity (2005 : Institute for Mathematical Sciences, National University of Singapore). |t Computational prospects of infinity. |d Singapore ; Hackensack, N.J. : World Scientific Pub. Co., ©2008 |z 9812796533 |z 9789812796530 |w (OCoLC)213479504 |
| 830 | 0 | |a Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ; |v v. 14. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1193153 |z Texto completo |
| 938 | |a ebrary |b EBRY |n ebr10698842 | ||
| 938 | |a YBP Library Services |b YANK |n 9975167 | ||
| 994 | |a 92 |b IZTAP | ||