Proceedings of the 11th Asian Logic Conference: in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific
c2012
|
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Includes bibliographical references and index Provably [symbol] and weakly descending chains / T. Arai -- Amalgamation, absoluteness, and categoricity / J. Baldwin -- K-trivials are never continuously random / G. Barmpalias ... [et al.] -- Limitwise monotonic functions and their applications / R. Downey, A. Kach and D. Turetsky -- A dichotomy for the Mackey Borel structure / I. Farah -- On automatic families / S. Jain ... [et al.] -- Cappable CEA sets and Ramsey's theorem / A. Kach, M. Lerman and R. Solomon -- Computable Dowd-type generic oracles / M. Kumabe and T. Suzuki -- Models of long sentences I / G. Sacks -- A universally free modal logic / S. Yang The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting |
| Beschreibung: | 1 Online-Ressource (x, 181 p.) |
| ISBN: | 9789814360531 9789814360548 9814360538 9814360546 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043145263 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2012 |||| o||u| ||||||eng d | ||
| 020 | |a 9789814360531 |9 978-981-4360-53-1 | ||
| 020 | |a 9789814360548 |c electronic bk. |9 978-981-4360-54-8 | ||
| 020 | |a 9814360538 |9 981-4360-53-8 | ||
| 020 | |a 9814360546 |c electronic bk. |9 981-4360-54-6 | ||
| 035 | |a (OCoLC)776204579 | ||
| 035 | |a (DE-599)BVBBV043145263 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 110 | 2 | |a Asian Logic Conference < 2009, Singapore> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 11th Asian Logic Conference |b in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 |c edited by Toshiyasu Arai ... [et al.] |
| 264 | 1 | |a Singapore |b World Scientific |c c2012 | |
| 300 | |a 1 Online-Ressource (x, 181 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 500 | |a Provably [symbol] and weakly descending chains / T. Arai -- Amalgamation, absoluteness, and categoricity / J. Baldwin -- K-trivials are never continuously random / G. Barmpalias ... [et al.] -- Limitwise monotonic functions and their applications / R. Downey, A. Kach and D. Turetsky -- A dichotomy for the Mackey Borel structure / I. Farah -- On automatic families / S. Jain ... [et al.] -- Cappable CEA sets and Ramsey's theorem / A. Kach, M. Lerman and R. Solomon -- Computable Dowd-type generic oracles / M. Kumabe and T. Suzuki -- Models of long sentences I / G. Sacks -- A universally free modal logic / S. Yang | ||
| 500 | |a The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting | ||
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Chong, C.-T. |e Sonstige |4 oth | |
| 700 | 1 | |a Arai, T. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=426416 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028569454 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=426416 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=426416 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175598887632896 |
|---|---|
| any_adam_object | |
| author_corporate | Asian Logic Conference < 2009, Singapore> |
| author_corporate_role | aut |
| author_facet | Asian Logic Conference < 2009, Singapore> |
| author_sort | Asian Logic Conference < 2009, Singapore> |
| building | Verbundindex |
| bvnumber | BV043145263 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)776204579 (DE-599)BVBBV043145263 |
| 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>03197nmm a2200457zc 4500</leader><controlfield tag="001">BV043145263</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2012 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814360531</subfield><subfield code="9">978-981-4360-53-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814360548</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-4360-54-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9814360538</subfield><subfield code="9">981-4360-53-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9814360546</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">981-4360-54-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)776204579</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043145263</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Asian Logic Conference < 2009, Singapore></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the 11th Asian Logic Conference</subfield><subfield code="b">in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009</subfield><subfield code="c">edited by Toshiyasu Arai ... [et al.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific</subfield><subfield code="c">c2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (x, 181 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Provably [symbol] and weakly descending chains / T. Arai -- Amalgamation, absoluteness, and categoricity / J. Baldwin -- K-trivials are never continuously random / G. Barmpalias ... [et al.] -- Limitwise monotonic functions and their applications / R. Downey, A. Kach and D. Turetsky -- A dichotomy for the Mackey Borel structure / I. Farah -- On automatic families / S. Jain ... [et al.] -- Cappable CEA sets and Ramsey's theorem / A. Kach, M. Lerman and R. Solomon -- Computable Dowd-type generic oracles / M. Kumabe and T. Suzuki -- Models of long sentences I / G. Sacks -- A universally free modal logic / S. Yang</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Chong, C.-T.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Arai, T.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=426416</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028569454</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=426416</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=426416</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043145263 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:18:50Z |
| institution | BVB |
| isbn | 9789814360531 9789814360548 9814360538 9814360546 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028569454 |
| oclc_num | 776204579 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (x, 181 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | World Scientific |
| record_format | marc |
| spelling | Asian Logic Conference < 2009, Singapore> Verfasser aut Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 edited by Toshiyasu Arai ... [et al.] Singapore World Scientific c2012 1 Online-Ressource (x, 181 p.) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references and index Provably [symbol] and weakly descending chains / T. Arai -- Amalgamation, absoluteness, and categoricity / J. Baldwin -- K-trivials are never continuously random / G. Barmpalias ... [et al.] -- Limitwise monotonic functions and their applications / R. Downey, A. Kach and D. Turetsky -- A dichotomy for the Mackey Borel structure / I. Farah -- On automatic families / S. Jain ... [et al.] -- Cappable CEA sets and Ramsey's theorem / A. Kach, M. Lerman and R. Solomon -- Computable Dowd-type generic oracles / M. Kumabe and T. Suzuki -- Models of long sentences I / G. Sacks -- A universally free modal logic / S. Yang The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical Congresses (DE-588)1071861417 Konferenzschrift gnd-content Chong, C.-T. Sonstige oth Arai, T. Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=426416 Aggregator Volltext |
| spellingShingle | Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 |
| title_auth | Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 |
| title_exact_search | Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 |
| title_full | Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 edited by Toshiyasu Arai ... [et al.] |
| title_fullStr | Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 edited by Toshiyasu Arai ... [et al.] |
| title_full_unstemmed | Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 edited by Toshiyasu Arai ... [et al.] |
| title_short | Proceedings of the 11th Asian Logic Conference |
| title_sort | proceedings of the 11th asian logic conference in honor of professor chong chitat on his 60th birthday national university of singapore singapore 22 27 june 2009 |
| title_sub | in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 |
| topic | MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical Congresses |
| topic_facet | MATHEMATICS / Infinity MATHEMATICS / Logic Logic, Symbolic and mathematical Congresses Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=426416 |
| work_keys_str_mv | AT asianlogicconference2009singapore proceedingsofthe11thasianlogicconferenceinhonorofprofessorchongchitatonhis60thbirthdaynationaluniversityofsingaporesingapore2227june2009 AT chongct proceedingsofthe11thasianlogicconferenceinhonorofprofessorchongchitatonhis60thbirthdaynationaluniversityofsingaporesingapore2227june2009 AT arait proceedingsofthe11thasianlogicconferenceinhonorofprofessorchongchitatonhis60thbirthdaynationaluniversityofsingaporesingapore2227june2009 |