E-recursion, forcing and C*-algebras /:
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume...
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Hackensack, New Jersey ; London, England :
World Scientific,
[2014]
|
| Schriftenreihe: | Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ;
Volume 27. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced in contemporary research in the field of mathematical logic to students, researchers and mathematicians. |
| Beschreibung: | 1 online resource (ix, 217 pages) |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9789814602648 9814602647 |
| ISSN: | 1793-0758 ; |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn889267392 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr mn||||||||| | ||
| 008 | 140723t20142014nju ob 000 0 eng d | ||
| 040 | |a E7B |b eng |e rda |e pn |c E7B |d OCLCO |d N$T |d OSU |d YDXCP |d DEBSZ |d OCLCQ |d OCLCF |d AGLDB |d VGM |d OCLCQ |d VTS |d STF |d AU@ |d UKAHL |d OCLCQ |d K6U |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
| 020 | |a 9789814602648 |q (electronic bk.) | ||
| 020 | |a 9814602647 |q (electronic bk.) | ||
| 020 | |z 9789814602631 |q (hardcover ; |q alk. paper) | ||
| 020 | |z 9814602639 |q (hardcover ; |q alk. paper) | ||
| 020 | |z 9789814603256 |q (pbk. ; |q alk. paper) | ||
| 020 | |z 9814603252 |q (pbk. ; |q alk. paper) | ||
| 035 | |a (OCoLC)889267392 | ||
| 050 | 4 | |a QA9.6 |b .E74 2014eb | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 7 | |a 511.3 |2 23 | |
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a E-recursion, forcing and C*-algebras / |c editors, Chitat Chong, National University of Singapore, Singapore [and four others]. |
| 264 | 1 | |a Hackensack, New Jersey ; |a London, England : |b World Scientific, |c [2014] | |
| 264 | 4 | |c ©2014 | |
| 300 | |a 1 online resource (ix, 217 pages) | ||
| 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, Institute for Mathematical Sciences, |x 1793-0758 ; |v Volume 27 | |
| 520 | |a This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced in contemporary research in the field of mathematical logic to students, researchers and mathematicians. | ||
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a Selected applications of logic to classification problem for C*-algebras / Ilijas Farah -- Subcomplete forcing and L-forcing / Ronald Jensen -- E-recursion 2012 / Gerald E. Sacks. | |
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Recursion theory. |0 http://id.loc.gov/authorities/subjects/sh85112012 | |
| 650 | 0 | |a Forcing (Model theory) |0 http://id.loc.gov/authorities/subjects/sh85050461 | |
| 650 | 0 | |a C*-algebras. |0 http://id.loc.gov/authorities/subjects/sh85018534 | |
| 650 | 6 | |a Théorie de la récursivité. | |
| 650 | 6 | |a Forcing (Théorie des modèles) | |
| 650 | 6 | |a C*-algèbres. | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a C*-algebras |2 fast | |
| 650 | 7 | |a Forcing (Model theory) |2 fast | |
| 650 | 7 | |a Recursion theory |2 fast | |
| 700 | 1 | |a Chong, C.-T. |q (Chi-Tat), |d 1949- |e editor. |1 https://id.oclc.org/worldcat/entity/E39PBJt8m4PHhJYfHR4DGBDpfq |0 http://id.loc.gov/authorities/names/n83161355 | |
| 776 | 0 | 8 | |i Print version: |t E-recursion, forcing and C*-algebras. |d New Jersey : World Scientific, [2014] |z 9789814602631 |w (DLC) 2014026066 |w (OCoLC)873007990 |
| 830 | 0 | |a Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ; |v Volume 27. |0 http://id.loc.gov/authorities/names/no2003042729 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=810379 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26877726 | ||
| 938 | |a ebrary |b EBRY |n ebr10895363 | ||
| 938 | |a EBSCOhost |b EBSC |n 810379 | ||
| 938 | |a YBP Library Services |b YANK |n 11964694 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn889267392 |
|---|---|
| _version_ | 1816882284489342976 |
| adam_text | |
| any_adam_object | |
| author2 | Chong, C.-T. (Chi-Tat), 1949- |
| author2_role | edt |
| author2_variant | c t c ctc |
| author_GND | http://id.loc.gov/authorities/names/n83161355 |
| author_facet | Chong, C.-T. (Chi-Tat), 1949- |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.6 .E74 2014eb |
| callnumber-search | QA9.6 .E74 2014eb |
| callnumber-sort | QA 19.6 E74 42014EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Selected applications of logic to classification problem for C*-algebras / Ilijas Farah -- Subcomplete forcing and L-forcing / Ronald Jensen -- E-recursion 2012 / Gerald E. Sacks. |
| ctrlnum | (OCoLC)889267392 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03509cam a2200613 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn889267392</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr mn|||||||||</controlfield><controlfield tag="008">140723t20142014nju ob 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">E7B</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">E7B</subfield><subfield code="d">OCLCO</subfield><subfield code="d">N$T</subfield><subfield code="d">OSU</subfield><subfield code="d">YDXCP</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">VGM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">STF</subfield><subfield code="d">AU@</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814602648</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9814602647</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789814602631</subfield><subfield code="q">(hardcover ;</subfield><subfield code="q">alk. paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9814602639</subfield><subfield code="q">(hardcover ;</subfield><subfield code="q">alk. paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789814603256</subfield><subfield code="q">(pbk. ;</subfield><subfield code="q">alk. paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9814603252</subfield><subfield code="q">(pbk. ;</subfield><subfield code="q">alk. paper)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)889267392</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.6</subfield><subfield code="b">.E74 2014eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">E-recursion, forcing and C*-algebras /</subfield><subfield code="c">editors, Chitat Chong, National University of Singapore, Singapore [and four others].</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hackensack, New Jersey ;</subfield><subfield code="a">London, England :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">[2014]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (ix, 217 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes Series, Institute for Mathematical Sciences,</subfield><subfield code="x">1793-0758 ;</subfield><subfield code="v">Volume 27</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced in contemporary research in the field of mathematical logic to students, researchers and mathematicians.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Selected applications of logic to classification problem for C*-algebras / Ilijas Farah -- Subcomplete forcing and L-forcing / Ronald Jensen -- E-recursion 2012 / Gerald E. Sacks.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Recursion theory.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85112012</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Forcing (Model theory)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85050461</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">C*-algebras.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85018534</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie de la récursivité.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Forcing (Théorie des modèles)</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">C*-algèbres.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">C*-algebras</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Forcing (Model theory)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Recursion theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Chong, C.-T.</subfield><subfield code="q">(Chi-Tat),</subfield><subfield code="d">1949-</subfield><subfield code="e">editor.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJt8m4PHhJYfHR4DGBDpfq</subfield><subfield code="0">http://id.loc.gov/authorities/names/n83161355</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">E-recursion, forcing and C*-algebras.</subfield><subfield code="d">New Jersey : World Scientific, [2014]</subfield><subfield code="z">9789814602631</subfield><subfield code="w">(DLC) 2014026066</subfield><subfield code="w">(OCoLC)873007990</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ;</subfield><subfield code="v">Volume 27.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2003042729</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=810379</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH26877726</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10895363</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">810379</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">11964694</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn889267392 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:26:10Z |
| institution | BVB |
| isbn | 9789814602648 9814602647 |
| issn | 1793-0758 ; |
| language | English |
| oclc_num | 889267392 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (ix, 217 pages) |
| psigel | ZDB-4-EBA |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | World Scientific, |
| record_format | marc |
| series | Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ; |
| series2 | Lecture Notes Series, Institute for Mathematical Sciences, |
| spelling | E-recursion, forcing and C*-algebras / editors, Chitat Chong, National University of Singapore, Singapore [and four others]. Hackensack, New Jersey ; London, England : World Scientific, [2014] ©2014 1 online resource (ix, 217 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier Lecture Notes Series, Institute for Mathematical Sciences, 1793-0758 ; Volume 27 This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced in contemporary research in the field of mathematical logic to students, researchers and mathematicians. Includes bibliographical references. Selected applications of logic to classification problem for C*-algebras / Ilijas Farah -- Subcomplete forcing and L-forcing / Ronald Jensen -- E-recursion 2012 / Gerald E. Sacks. Print version record. Recursion theory. http://id.loc.gov/authorities/subjects/sh85112012 Forcing (Model theory) http://id.loc.gov/authorities/subjects/sh85050461 C*-algebras. http://id.loc.gov/authorities/subjects/sh85018534 Théorie de la récursivité. Forcing (Théorie des modèles) C*-algèbres. MATHEMATICS General. bisacsh C*-algebras fast Forcing (Model theory) fast Recursion theory fast Chong, C.-T. (Chi-Tat), 1949- editor. https://id.oclc.org/worldcat/entity/E39PBJt8m4PHhJYfHR4DGBDpfq http://id.loc.gov/authorities/names/n83161355 Print version: E-recursion, forcing and C*-algebras. New Jersey : World Scientific, [2014] 9789814602631 (DLC) 2014026066 (OCoLC)873007990 Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ; Volume 27. http://id.loc.gov/authorities/names/no2003042729 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=810379 Volltext |
| spellingShingle | E-recursion, forcing and C*-algebras / Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ; Selected applications of logic to classification problem for C*-algebras / Ilijas Farah -- Subcomplete forcing and L-forcing / Ronald Jensen -- E-recursion 2012 / Gerald E. Sacks. Recursion theory. http://id.loc.gov/authorities/subjects/sh85112012 Forcing (Model theory) http://id.loc.gov/authorities/subjects/sh85050461 C*-algebras. http://id.loc.gov/authorities/subjects/sh85018534 Théorie de la récursivité. Forcing (Théorie des modèles) C*-algèbres. MATHEMATICS General. bisacsh C*-algebras fast Forcing (Model theory) fast Recursion theory fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85112012 http://id.loc.gov/authorities/subjects/sh85050461 http://id.loc.gov/authorities/subjects/sh85018534 |
| title | E-recursion, forcing and C*-algebras / |
| title_auth | E-recursion, forcing and C*-algebras / |
| title_exact_search | E-recursion, forcing and C*-algebras / |
| title_full | E-recursion, forcing and C*-algebras / editors, Chitat Chong, National University of Singapore, Singapore [and four others]. |
| title_fullStr | E-recursion, forcing and C*-algebras / editors, Chitat Chong, National University of Singapore, Singapore [and four others]. |
| title_full_unstemmed | E-recursion, forcing and C*-algebras / editors, Chitat Chong, National University of Singapore, Singapore [and four others]. |
| title_short | E-recursion, forcing and C*-algebras / |
| title_sort | e recursion forcing and c algebras |
| topic | Recursion theory. http://id.loc.gov/authorities/subjects/sh85112012 Forcing (Model theory) http://id.loc.gov/authorities/subjects/sh85050461 C*-algebras. http://id.loc.gov/authorities/subjects/sh85018534 Théorie de la récursivité. Forcing (Théorie des modèles) C*-algèbres. MATHEMATICS General. bisacsh C*-algebras fast Forcing (Model theory) fast Recursion theory fast |
| topic_facet | Recursion theory. Forcing (Model theory) C*-algebras. Théorie de la récursivité. Forcing (Théorie des modèles) C*-algèbres. MATHEMATICS General. C*-algebras Recursion theory |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=810379 |
| work_keys_str_mv | AT chongct erecursionforcingandcalgebras |