|
標題および責任表示
|
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 / editors, T. Arai ... [et al.]
|
|
出版・頒布事項
|
Singapore : World Scientific , c2010
|
|
形態事項
|
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
|
|
学情ID
|
BB00694658
|
|
本文言語コード
|
英語
|
|
著者標目リンク
|
*Asian Logic Conference <AU00713776> (10th : 2008 : Kōbe Daigaku)
|
|
著者標目リンク
|
新井, 敏康||アライ, トシヤス <AU00677522>
|
|
著者標目リンク
|
Brendle, J. (Jörg) <>
|
|
著者標目リンク
|
桔梗, 宏孝||キキョウ, ヒロタカ <AU00388309>
|
|
著者標目リンク
|
Chong, Chi-Tat, 1949- <AU00325207>
|
|
著者標目リンク
|
Downey, R. G. (Rod G.) <AU00381516>
|
|
著者標目リンク
|
冯, 琦
フウ, キ
feng, qi <>
|
|
著者標目リンク
|
小野, 寛晰(1942-)||オノ, ヒロアキラ <AU00105659>
|
|
分類標目
|
LCC:Q334
|
|
件名標目等
|
Logic, Symbolic and mathematical -- Congresses
|
目録検索 ▼
マイライブラリ ▼
