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.
Author(s): T. Arai, J. Brendle, Chong C. T., R. Downey, Feng Q., H. Kikyo, H. Ono (eds.)
Publisher: World Scientific
Year: 2010
Language: English
Pages: 400
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
