Proceedings Of The 10th Asian Logic Conference

Chi Tat Chong, Rodney G Downey, Qi Feng, Hirotaka Kikyo, Hiroakira Ono (Herausgeber)

Buch | Hardcover

404 Seiten

2009
World Scientific Publishing Co Pte Ltd (Verlag)
978-981-4293-01-3 (ISBN)

Titel z.Zt. nicht lieferbar
Versandkostenfrei
Auch auf Rechnung

Artikel merken

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, with interests in the area of logic, including theoretical computer science. This title contains papers from the 10th meeting held in Kobe, Japan.

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.

Constructive Geometry (M Beeson); I-Ultrafilters and Summable Ideals (J Flaskova); Lowness and Highness Properties for Randomness Notions (J Franklin); Countable Borel Equivalence Relations, Borel Reducibility, and Orbit Equibalance (G Hjorth); A Remark on Generic Structures and the Number of Countable Models (K Ikeda); Geometric Simplicity Theory (B Kim); On Preservation and Reflection of Stationary Subsets of Pκ  When cf  <  (H Sakai); Turing Degrees and the Ershov Hierarchy (F Stephan et al.); Weak Randomness, Genericity and Boolean Decision Trees (T Suzuki & M Kumabe); A Note on Multiple Inductive Definitions (K Tanaka); and other papers.

Erscheint lt. Verlag	4.12.2009
Verlagsort	Singapore
Sprache	englisch
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	981-4293-01-6 / 9814293016
ISBN-13	978-981-4293-01-3 / 9789814293013
Zustand	Neuware