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
World Scientific, c2010
大学図書館所蔵 件 / 全8件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
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
内容説明・目次
内容説明
The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association of Symbolic Logic.This volume contains papers from the 10th meeting held in Kobe, Japan.
目次
- Constructive Geometry (M Beeson)
- I-Ultrafilters and Summable Ideals (J Flaskova)
- Lowness and Highness Properties for Randomness Notions (J Franklin)
- Countable Borel Equivalence Relations, Borel Reducibility, and Orbit Equibalance (G Hjorth)
- A Remark on Generic Structures and the Number of Countable Models (K Ikeda)
- Geometric Simplicity Theory (B Kim)
- On Preservation and Reflection of Stationary Subsets of Pκ When cf < (H Sakai)
- Turing Degrees and the Ershov Hierarchy (F Stephan et al.)
- Weak Randomness, Genericity and Boolean Decision Trees (T Suzuki & M Kumabe)
- A Note on Multiple Inductive Definitions (K Tanaka)
- and other papers.
「Nielsen BookData」 より
