skip to content
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 Preview this item
ClosePreview this item
Checking...

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008

Author: Toshiyasu Arai
Publisher: Hackensack, NJ : World Scientific, ©2010.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every 3 years and rotates among countries in the Asia-Pacific region,  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Asian Logic Conference (10th : 2008 : Kōbe Daigaku).
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008.
Hackensack, NJ : World Scientific, ©2010
(DLC) 2010287731
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Toshiyasu Arai
OCLC Number: 694144114
Description: 1 online resource (viii, 393 pages) : illustrations
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. Flaskova --
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 konig's lemma in construcytion reverse mathematics / T. Nemoto --
On preservation and reflection of stationary subsets of ... / 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 / G. Wu --
On II1/1 conservativity for II1/2 theories in second order arithmetic / K. Yokoyama --
Around rosy CM-trivial theories / I. Yoneda.
Responsibility: editors, T. Arai [and others].

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/694144114> # Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "694144114" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/348026130#Place/hackensack_nj> ; # Hackensack, NJ
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/348026130#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/348026130#Person/arai_toshiyasu> ; # Toshiyasu Arai
    schema:copyrightYear "2010" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/348026130#Meeting/asian_logic_conference_10th_2008_kobe_daigaku> ; # Asian Logic Conference (10th : 2008 : Kōbe Daigaku)
    schema:datePublished "2010" ;
    schema:description "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. Flaskova -- 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 konig's lemma in construcytion reverse mathematics / T. Nemoto -- On preservation and reflection of stationary subsets of ... / 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 / G. Wu -- On II1/1 conservativity for II1/2 theories in second order arithmetic / K. Yokoyama -- Around rosy CM-trivial theories / I. Yoneda."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/348026130> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/348026130#CreativeWork/proceedings_of_the_10th_asian_logic_conference_kobe_japan_1_6_september_2008> ;
    schema:name "Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008"@en ;
    schema:productID "694144114" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/694144114#PublicationEvent/hackensack_nj_world_scientific_2010> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/348026130#Agent/world_scientific> ; # World Scientific
    schema:url <http://gold.worcester.edu/login?url=http://site.ebrary.com/lib/worcesteruniv/Doc?id=10422074> ;
    schema:url <https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=1681682> ;
    schema:url <http://site.ebrary.com/id/10422074> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/694144114> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/348026130#Agent/world_scientific> # World Scientific
    a bgn:Agent ;
    schema:name "World Scientific" ;
    .

<http://experiment.worldcat.org/entity/work/data/348026130#Meeting/asian_logic_conference_10th_2008_kobe_daigaku> # Asian Logic Conference (10th : 2008 : Kōbe Daigaku)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/348026130#Place/kobe_daigaku> ; # Kōbe Daigaku)
    schema:name "Asian Logic Conference (10th : 2008 : Kōbe Daigaku)" ;
    .

<http://experiment.worldcat.org/entity/work/data/348026130#Person/arai_toshiyasu> # Toshiyasu Arai
    a schema:Person ;
    schema:familyName "Arai" ;
    schema:givenName "Toshiyasu" ;
    schema:name "Toshiyasu Arai" ;
    .

<http://experiment.worldcat.org/entity/work/data/348026130#Place/hackensack_nj> # Hackensack, NJ
    a schema:Place ;
    schema:name "Hackensack, NJ" ;
    .

<http://experiment.worldcat.org/entity/work/data/348026130#Place/kobe_daigaku> # Kōbe Daigaku)
    a schema:Place ;
    schema:name "Kōbe Daigaku)" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://worldcat.org/entity/work/data/348026130#CreativeWork/proceedings_of_the_10th_asian_logic_conference_kobe_japan_1_6_september_2008>
    a schema:CreativeWork ;
    rdfs:label "Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/694144114> ; # Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
    .

<http://www.worldcat.org/title/-/oclc/694144114>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/694144114> ; # Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
    schema:dateModified "2018-06-07" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=1681682>
    rdfs:comment "Available to Stanford-affiliated users." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.