did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9789814293013

Proceedings of the 10th Asian Logic Conference

by ; ; ; ; ; ;
  • ISBN13:

    9789814293013

  • ISBN10:

    9814293016

  • Format: Hardcover
  • Copyright: 2010-01-30
  • Publisher: World Scientific Pub Co Inc
  • Purchase Benefits
  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $146.00
  • Digital
    $246.38
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Summary

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.

Table of Contents

Prefacep. v
An Application of Nonstandard Arguments to the Study of Generic Structuresp. 1
Constructive Geometryp. 19
A Separation Result for Varieties of Brouwer's Fan Theoremp. 85
A Term-Rewriting Characterization of PSPACEp. 93
I-ultrafilters and Summable Idealsp. 113
Lowness and Highness Properties for Randomness Notionsp. 124
Countable Borel Equivalence Relations, Borel Reducibility, and Orbit Equivalencep. 152
A Remark on Generic Structures and the Number of Countable Modelsp. 214
Geometric Simplicity Theoryp. 227
Weak Weak König's Lemma in Constructive Reverse Mathematicsp. 263
On Preservation and Reflection of Stationary Subsets of Pk&lamda; When cf(&lamda;)p. 271
Turing Degrees and the Ershov Hierarchyp. 300
Weak Randomness, Genericity and Boolean Decision Treesp. 322
A Note on Multiple Inductive Definitionsp. 345
Isolation in the d.c.e. Degreesp. 353
On ¿1/1 Conservativity for ¿1/1 Theories in Second Order Arithmeticp. 375
Around Rosy CM-Trivial Theoriesp. 387
Table of Contents provided by Ingram. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program