Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /:
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 con...
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore ; Hackensack, N.J. :
World Scientific Pub. Co.,
©2010.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | 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 resource (viii, 393 pages) : illustrations |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9789814293020 9814293024 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn630163867 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr buu|||uu||| | ||
| 008 | 100524s2010 si a ob 100 0 eng d | ||
| 040 | |a LLB |b eng |e pn |c LLB |d N$T |d YDXCP |d OCLCQ |d OCLCF |d OCLCO |d OCLCQ |d DEBSZ |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCL |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d OCLCO |d AGLDB |d ZCU |d MERUC |d U3W |d OCLCA |d OCLCQ |d VTS |d ICG |d INT |d OCLCQ |d STF |d DKC |d AU@ |d OCLCQ |d M8D |d UKAHL |d OCL |d LEAUB |d HS0 |d OCL |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 681535466 |a 1086556050 | ||
| 020 | |a 9789814293020 |q (electronic bk.) | ||
| 020 | |a 9814293024 |q (electronic bk.) | ||
| 020 | |z 9814293016 | ||
| 020 | |z 9789814293013 | ||
| 035 | |a (OCoLC)630163867 |z (OCoLC)681535466 |z (OCoLC)1086556050 | ||
| 050 | 4 | |a QA9.A1 |b A853 2008eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 7 | |a 511.3 |2 22 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a Asian Logic Conference |n (10th : |d 2008 : |c Kōbe Daigaku) | |
| 245 | 1 | 0 | |a Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 / |c editors, T. Arai [and others]. |
| 260 | |a Singapore ; |a Hackensack, N.J. : |b World Scientific Pub. Co., |c ©2010. | ||
| 300 | |a 1 online resource (viii, 393 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |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. | |
| 520 | |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. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 655 | 4 | |a Electronic book. | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Arai, Toshiyasu. | |
| 710 | 2 | |a World Scientific (Firm) |0 http://id.loc.gov/authorities/names/no2001005546 | |
| 758 | |i has work: |a Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFRhfMBKqfMc4HbHvGyfdP |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 1 | |z 9814293016 | |
| 776 | 1 | |z 9789814293013 | |
| 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=340646 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24686505 | ||
| 938 | |a EBSCOhost |b EBSC |n 340646 | ||
| 938 | |a YBP Library Services |b YANK |n 3511538 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn630163867 |
|---|---|
| _version_ | 1816881721073729536 |
| adam_text | |
| any_adam_object | |
| author2 | Arai, Toshiyasu |
| author2_role | |
| author2_variant | t a ta |
| author_corporate | Asian Logic Conference Kōbe Daigaku World Scientific (Firm) |
| author_corporate_role | |
| author_facet | Arai, Toshiyasu Asian Logic Conference Kōbe Daigaku World Scientific (Firm) |
| author_sort | Asian Logic Conference Kōbe Daigaku |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.A1 A853 2008eb |
| callnumber-search | QA9.A1 A853 2008eb |
| callnumber-sort | QA 19 A1 A853 42008EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | 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. |
| ctrlnum | (OCoLC)630163867 |
| 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 Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04266cam a2200577 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn630163867</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr buu|||uu|||</controlfield><controlfield tag="008">100524s2010 si a ob 100 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">LLB</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">LLB</subfield><subfield code="d">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">AGLDB</subfield><subfield code="d">ZCU</subfield><subfield code="d">MERUC</subfield><subfield code="d">U3W</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">STF</subfield><subfield code="d">DKC</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCL</subfield><subfield code="d">LEAUB</subfield><subfield code="d">HS0</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">681535466</subfield><subfield code="a">1086556050</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814293020</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9814293024</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9814293016</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789814293013</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)630163867</subfield><subfield code="z">(OCoLC)681535466</subfield><subfield code="z">(OCoLC)1086556050</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.A1</subfield><subfield code="b">A853 2008eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">016000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Asian Logic Conference</subfield><subfield code="n">(10th :</subfield><subfield code="d">2008 :</subfield><subfield code="c">Kōbe Daigaku)</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 [and others].</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Singapore ;</subfield><subfield code="a">Hackensack, N.J. :</subfield><subfield code="b">World Scientific Pub. Co.,</subfield><subfield code="c">©2010.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (viii, 393 pages) :</subfield><subfield code="b">illustrations</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="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="505" ind1="0" 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="520" 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="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Infinity.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">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="655" ind1=" " ind2="4"><subfield code="a">Electronic book.</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Arai, Toshiyasu.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">World Scientific (Firm)</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2001005546</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCFRhfMBKqfMc4HbHvGyfdP</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9814293016</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9789814293013</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=340646</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">AH24686505</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">340646</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3511538</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> |
| genre | Electronic book. Conference papers and proceedings fast |
| genre_facet | Electronic book. Conference papers and proceedings |
| id | ZDB-4-EBA-ocn630163867 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:17:13Z |
| institution | BVB |
| institution_GND | http://id.loc.gov/authorities/names/no2001005546 |
| isbn | 9789814293020 9814293024 |
| language | English |
| oclc_num | 630163867 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (viii, 393 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | World Scientific Pub. Co., |
| record_format | marc |
| spelling | Asian Logic Conference (10th : 2008 : Kōbe Daigaku) Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 / editors, T. Arai [and others]. Singapore ; Hackensack, N.J. : World Scientific Pub. Co., ©2010. 1 online resource (viii, 393 pages) : illustrations text txt rdacontent computer c rdamedia online resource 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. Print version record. Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Electronic book. Conference papers and proceedings fast Arai, Toshiyasu. World Scientific (Firm) http://id.loc.gov/authorities/names/no2001005546 has work: Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 (Text) https://id.oclc.org/worldcat/entity/E39PCFRhfMBKqfMc4HbHvGyfdP https://id.oclc.org/worldcat/ontology/hasWork 9814293016 9789814293013 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=340646 Volltext |
| spellingShingle | Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 / 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. Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast |
| 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 [and others]. |
| title_fullStr | Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 / editors, T. Arai [and others]. |
| title_full_unstemmed | Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 / editors, T. Arai [and others]. |
| 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 | Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast |
| topic_facet | Logic, Symbolic and mathematical Congresses. Logique symbolique et mathématique Congrès. MATHEMATICS Infinity. MATHEMATICS Logic. Logic, Symbolic and mathematical Electronic book. Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=340646 |
| work_keys_str_mv | AT asianlogicconferencekobedaigaku proceedingsofthe10thasianlogicconferencekobejapan16september2008 AT araitoshiyasu proceedingsofthe10thasianlogicconferencekobejapan16september2008 AT worldscientificfirm proceedingsofthe10thasianlogicconferencekobejapan16september2008 |