Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 / editors, T. Arai ... [et al.].

Format:

Book

Conference/Event

Contributor:

Arai, Toshiyasu.

Conference Name:

Asian Logic Conference (10th : 2008 : Kobe Daigaku)

Asian Logic Conference.

Language:

English

Subjects (All):

Logic, Symbolic and mathematical--Congresses.

Logic, Symbolic and mathematical.

Physical Description:

1 online resource (viii, 393 p. ) ill.

Edition:

1st ed.

Place of Publication:

Hackensack, NJ : World Scientific, c2010.

Language Note:

English

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.

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.

Notes:

"The 10th Asian Logic Conference was held September 1-6, 2008 in Kobe University, Japan."--Pref.

Includes bibliographical references.

ISBN:

1-282-76196-X

9786612761966

981-4293-02-4

OCLC:

630163867