Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008:
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific Pub. Co.
c2010
|
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Includes bibliographical references An application of nonstandard arguments to the study of generic structures / Y. Anbo -- Constructive geometry / M. Beeson -- A separation result for varieties of Brouwer's fan theorem / J. Berger -- A term-rewriting characterization of PSPACE / N. Eguchi -- I-ultrafilters and summable ideals / J. Flas̮ková -- Lowness and highness properties for randomness notions / J. Franklin -- Countable Borel equivalence relations, Borel reducibility, and orbit equivalence / G. Hjorth -- A remark on generic structures and the number of countable models / K. Ikeda -- Geometric simplicity theory / B. Kim -- Weak weak König's Lemma in constructive reverse mathematics / T. Nemoto -- On preservation and reflection of stationary subsets of P[symbol] when cf[symbol]<[symbol] / H. Sakai -- Turing degrees and the Ershov hierarchy / F. Stephan, Y. Yang and L. Yu -- Weak randomness, genericity and boolean decision trees / T. Suzuki and M. Kumabe -- A note on multiple inductive definitions / K. Tanaka -- Isolation in the d.c.e. degrees / C. Wu -- On II[symbol] conservativity for II[symbol] theories in second order arithmetic / K. Yokoyama -- Around rosy CM-trivial theories / I. Yoneda The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from the 10th meeting held in Kobe, Japan |
| Beschreibung: | 1 Online-Ressource (viii, 393 p.) |
| ISBN: | 9789814293013 9789814293020 9814293016 9814293024 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043071816 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2010 |||| o||u| ||||||eng d | ||
| 020 | |a 9789814293013 |9 978-981-4293-01-3 | ||
| 020 | |a 9789814293020 |c electronic bk. |9 978-981-4293-02-0 | ||
| 020 | |a 9814293016 |9 981-4293-01-6 | ||
| 020 | |a 9814293024 |c electronic bk. |9 981-4293-02-4 | ||
| 035 | |a (OCoLC)630163867 | ||
| 035 | |a (DE-599)BVBBV043071816 | ||
| 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 22 | |
| 110 | 2 | |a Asian Logic Conference < 2008, Kōbe Daigaku> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 |c editors, T. Arai ... [et al.] |
| 264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c2010 | |
| 300 | |a 1 Online-Ressource (viii, 393 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references | ||
| 500 | |a An application of nonstandard arguments to the study of generic structures / Y. Anbo -- Constructive geometry / M. Beeson -- A separation result for varieties of Brouwer's fan theorem / J. Berger -- A term-rewriting characterization of PSPACE / N. Eguchi -- I-ultrafilters and summable ideals / J. Flas̮ková -- Lowness and highness properties for randomness notions / J. Franklin -- Countable Borel equivalence relations, Borel reducibility, and orbit equivalence / G. Hjorth -- A remark on generic structures and the number of countable models / K. Ikeda -- Geometric simplicity theory / B. Kim -- Weak weak König's Lemma in constructive reverse mathematics / T. Nemoto -- On preservation and reflection of stationary subsets of P[symbol] when cf[symbol]<[symbol] / H. Sakai -- Turing degrees and the Ershov hierarchy / F. Stephan, Y. Yang and L. Yu -- Weak randomness, genericity and boolean decision trees / T. Suzuki and M. Kumabe -- A note on multiple inductive definitions / K. Tanaka -- Isolation in the d.c.e. degrees / C. Wu -- On II[symbol] conservativity for II[symbol] theories in second order arithmetic / K. Yokoyama -- Around rosy CM-trivial theories / I. Yoneda | ||
| 500 | |a The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from the 10th meeting held in Kobe, Japan | ||
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Arai, T. |e Sonstige |4 oth | |
| 710 | 2 | |a World Scientific (Firm) |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=340646 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028496008 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=340646 |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=340646 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175455831457792 |
|---|---|
| any_adam_object | |
| author_corporate | Asian Logic Conference < 2008, Kōbe Daigaku> |
| author_corporate_role | aut |
| author_facet | Asian Logic Conference < 2008, Kōbe Daigaku> |
| author_sort | Asian Logic Conference < 2008, Kōbe Daigaku> |
| building | Verbundindex |
| bvnumber | BV043071816 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)630163867 (DE-599)BVBBV043071816 |
| 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>03619nmm a2200469zc 4500</leader><controlfield tag="001">BV043071816</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2010 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814293013</subfield><subfield code="9">978-981-4293-01-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814293020</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-4293-02-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9814293016</subfield><subfield code="9">981-4293-01-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9814293024</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">981-4293-02-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)630163867</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043071816</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">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Asian Logic Conference < 2008, Kōbe Daigaku></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 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008</subfield><subfield code="c">editors, T. Arai ... [et al.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (viii, 393 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</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">An application of nonstandard arguments to the study of generic structures / Y. Anbo -- Constructive geometry / M. Beeson -- A separation result for varieties of Brouwer's fan theorem / J. Berger -- A term-rewriting characterization of PSPACE / N. Eguchi -- I-ultrafilters and summable ideals / J. Flas̮ková -- Lowness and highness properties for randomness notions / J. Franklin -- Countable Borel equivalence relations, Borel reducibility, and orbit equivalence / G. Hjorth -- A remark on generic structures and the number of countable models / K. Ikeda -- Geometric simplicity theory / B. Kim -- Weak weak König's Lemma in constructive reverse mathematics / T. Nemoto -- On preservation and reflection of stationary subsets of P[symbol] when cf[symbol]<[symbol] / H. Sakai -- Turing degrees and the Ershov hierarchy / F. Stephan, Y. Yang and L. Yu -- Weak randomness, genericity and boolean decision trees / T. Suzuki and M. Kumabe -- A note on multiple inductive definitions / K. Tanaka -- Isolation in the d.c.e. degrees / C. Wu -- On II[symbol] conservativity for II[symbol] theories in second order arithmetic / K. Yokoyama -- Around rosy CM-trivial theories / I. Yoneda</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from the 10th meeting held in Kobe, Japan</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="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</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">Arai, T.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">World Scientific (Firm)</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=340646</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-028496008</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=340646</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=340646</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.BV043071816 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:16:34Z |
| institution | BVB |
| isbn | 9789814293013 9789814293020 9814293016 9814293024 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028496008 |
| oclc_num | 630163867 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (viii, 393 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| spelling | Asian Logic Conference < 2008, Kōbe Daigaku> Verfasser aut Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 editors, T. Arai ... [et al.] Singapore World Scientific Pub. Co. c2010 1 Online-Ressource (viii, 393 p.) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references An application of nonstandard arguments to the study of generic structures / Y. Anbo -- Constructive geometry / M. Beeson -- A separation result for varieties of Brouwer's fan theorem / J. Berger -- A term-rewriting characterization of PSPACE / N. Eguchi -- I-ultrafilters and summable ideals / J. Flas̮ková -- Lowness and highness properties for randomness notions / J. Franklin -- Countable Borel equivalence relations, Borel reducibility, and orbit equivalence / G. Hjorth -- A remark on generic structures and the number of countable models / K. Ikeda -- Geometric simplicity theory / B. Kim -- Weak weak König's Lemma in constructive reverse mathematics / T. Nemoto -- On preservation and reflection of stationary subsets of P[symbol] when cf[symbol]<[symbol] / H. Sakai -- Turing degrees and the Ershov hierarchy / F. Stephan, Y. Yang and L. Yu -- Weak randomness, genericity and boolean decision trees / T. Suzuki and M. Kumabe -- A note on multiple inductive definitions / K. Tanaka -- Isolation in the d.c.e. degrees / C. Wu -- On II[symbol] conservativity for II[symbol] theories in second order arithmetic / K. Yokoyama -- Around rosy CM-trivial theories / I. Yoneda The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from the 10th meeting held in Kobe, Japan MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Congresses (DE-588)1071861417 Konferenzschrift gnd-content Arai, T. Sonstige oth World Scientific (Firm) Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=340646 Aggregator Volltext |
| spellingShingle | Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 |
| title_auth | Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 |
| title_exact_search | Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 |
| title_full | Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 editors, T. Arai ... [et al.] |
| title_fullStr | Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 editors, T. Arai ... [et al.] |
| title_full_unstemmed | Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 editors, T. Arai ... [et al.] |
| title_short | Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 |
| title_sort | proceedings of the 10th asian logic conference kobe japan 1 6 september 2008 |
| topic | MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Congresses |
| topic_facet | MATHEMATICS / Infinity MATHEMATICS / Logic Logic, Symbolic and mathematical Logic, Symbolic and mathematical Congresses Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=340646 |
| work_keys_str_mv | AT asianlogicconference2008kobedaigaku proceedingsofthe10thasianlogicconferencekobejapan16september2008 AT arait proceedingsofthe10thasianlogicconferencekobejapan16september2008 AT worldscientificfirm proceedingsofthe10thasianlogicconferencekobejapan16september2008 |