Proceedings of the 10th Asian Logic Conference

✍ Scribed by T. Arai, J. Brendle, Chong C. T., R. Downey, Feng Q., H. Kikyo, H. Ono (eds.)

Publisher: World Scientific
Year: 2010
Tongue: English
Leaves: 400
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

The 10th Asian Logic Conference was held September 1-6, 2008 in Kobe University, Japan. Major funding was provided by the Association for Symbolic Logic, Japan Society for the Promotion of Science, Inoue Foundation for Science and Kobe University. There were 121 registered participants from Australia, Austria, China, Colombia, Czech Republic, India, Israel, The Netherlands, New Zealand, Singapore, South Korea, Spain, United Kingdom, USA and Japan.

Authors were invited to submit papers to the present volume. All of the submitted papers were fully refereed.

✦ Table of Contents

Cover ......Page 1
Preface ......Page 5
Contents ......Page 6
An Application of Nonstandard Arguments to the Study of Generic Structures (Y. Anbo) ......Page 8
Constructive Geometry (M. Beeson) ......Page 26
A Separation Result for Varieties of Brouwer's Fan Theorem (J. Berger) ......Page 92
A Term-Rewriting Characterization of PSPACE (N. Eguchi) ......Page 100
I-ultrafilters and Summable Ideals (J. Flaskova) ......Page 120
Lowness and Highness Properties for Randomness Notions (J. Franklin) ......Page 131
Countable Borel Equivalence Relations, Borel Reducibility, and Orbit Equivalence (G. Hjorth) ......Page 158
A Remark on Generic Structures and the Number of Countable Models (K. Ikeda) ......Page 220
Geometric Simplicity Theory (B. Kim) ......Page 233
Weak Weak König’s Lemma in Constructive Reverse Mathematics (T. Nemoto) ......Page 269
On Preservation and Reflection of Stationary Subsets of Pkλ When cf(λ) < κ (H. Sakai) ......Page 277
Turing Degrees and the Ershov Hierarchy (F. Stephan, Y. Yang, L. Yu) ......Page 306
Weak Randomness, Genericity and Boolean Decision Trees (T. Suzuki, M. Kumabe) ......Page 328
A Note on Multiple Inductive Definitions (K. Tanaka) ......Page 351
Isolation in the d.c.e. Degrees (G. Wu) ......Page 359
On Π11 Conservativity for Π12 Theories in Second Order Arithmetic (K. Yokoyama) ......Page 381
Around Rosy CM-TYivial Theories (I. Yoneda) ......Page 393

📜 SIMILAR VOLUMES

Proceedings of the 10th Asian Logic Conf

📁 Proceedings of the 10th Asian Logic Conference

✍ T. Arai, J. Brendle, H. Kikyo, C. T. Chong, R. Downey, Q. Feng, H. Ono 📂 Library 📅 2010 🏛 World Scientific 🌐 English

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

Proceedings of the 09th Asian Logic Conf

📁 Proceedings of the 09th Asian Logic Conference: Mathematical Logic in Asia

✍ R. Downey, S S Goncharov, H Ono 📂 Library 📅 2006 🏛 World Scientific 🌐 English

This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity

Proceedings of the 09th Asian Logic Conf

📁 Proceedings of the 09th Asian Logic Conference: Mathematical Logic in Asia

✍ R. Downey, S S Goncharov, H Ono 📂 Library 📅 2006 🏛 World Scientific 🌐 English

Proceedings of the 06th Asian Logic Conf

📁 Proceedings of the 06th Asian Logic Conference

✍ Chong C.T., Feng Q., Ding D., et al. (eds.) 📂 Library 📅 1998 🏛 World Scientific 🌐 English

This volume comprises a collection of twenty written versions of invited as well as contributed papers presented at the conference held from 20-24 May 1996 in Beijing, China. It covers many areas of logic and the foundations of mathematics, as well as computer science. Also included is an article by

Proceedings of the 06th Asian Logic Conf

📁 Proceedings of the 06th Asian Logic Conference

✍ Chong C.T., et al. (eds.) 📂 Library 📅 1998 🏛 World Scientific 🌐 English

The Wolf Prize, awarded by the Wolf Foundation in Israel, often goes to mathematicians who are in their sixties or older. That is to say, the Prize honours the achievements of a lifetime. T This valuable work features bibliographies, important papers, and speeches (for example at international congr

Proceedings of the 13th Asian Logic Conf

📁 Proceedings of the 13th Asian Logic Conference

✍ Xishun Zhao, Xishun Zhao, Qi Feng, Byunghan Kim, Liang Yu 📂 Library 📅 2015 🏛 World Scientific Publishing Co 🌐 English

This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians and also some contributions in computer science logics and philosophic logics.