CiNii 図書 - Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008

著者

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008

editors, T. Arai ... [et al.]

World Scientific, c2010

Other editors: J. Brendle, H. Kikyo, C.T. Chong, R. Downey, Q. Feng, H. Ono

On p. 271 and viii "[κ]" is subscript

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

Includes bibliographical references

An application of nonstandard arguments to the study of generic structures / Yuki Anbo
Constructive geometry / Michael 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. Flašková
Lowness and highness properties for randomness notions / Johanna N.Y. Franklin
Countable Borel equivalence relations, Borel reducibility, and orbit equivalence / Greg Hjorth
A remark on generic structures and the number of countable models / Koichiro Ikeda
Geometric simplicity ötheory / Byungham Kim
Weak weak König's lemma in constructive reverse mathematics / Takako Nemoto
On preservation and reflection of stationary subsets of Ρ[κ]λ when cf(λ) < κ / Hiroshi Sakai
Turing degrees and the Ershov hierarchy / Frank Stephan, Yue Yang and Liang Yu
Weak randomness, genericity and Boolean decision trees / Toshio Suzuki, Masahiro Kumabe
A note on multiple inductive definitions / Kazuyuki Tanaka
Isolation in the d.c.e. degrees / Guohua Wu
On Π1/1 conservativity for Π1/2 theories in second order arithmetic / Keita Yokoyama
Around rosy CM-trivial theories / Ikuo Yoneda