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.]

Singapore : World Scientific, c2010

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

410.4-A92-10

10011000325

一般図書

詳細情報

刊年

2010

形態

viii, 393 p. : ill. ; 24 cm

内容注記

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

注記

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

出版国

シンガポール

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Asian Logic Conference

新井, 敏康 (アライ, トシヤス) [ Arai, Toshiyasu ] [ Arai, T. ] [ *Arai, T. (Toshiyasu) ]

Brendle, J. (Jörg)

桔梗, 宏孝 (キキョウ, ヒロタカ) [ Kikyo, H. ] [ Kikyo, Hirotaka ]

Chong, Chi-Tat, 1949- [ Tat, Chong Chi, 1949- ] [ Chong, C.-Tat, 1949- ] [ Chong, C.-T. (Chi-Tat), 1949- ]

Downey, R. G. (Rod G.) [ Downey, Rodney G. ]

冯, 琦 (フウ, キ)

小野, 寛晰(1942-) (オノ, ヒロアキラ) [ Ono, Hiroakira ] [ Ono, H. ]

分類

LCC:Q334

件名

Logic, Symbolic and mathematical -- Congresses

ISBN

9789814293013/9814293016

NCID

BB00694658

番号

LCCN : 2010287731