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

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.