Proceedings of the 13th Asian Logic Conference : Guangzhou, China, 16-20 September 2013
著者
書誌事項
Proceedings of the 13th Asian Logic Conference : Guangzhou, China, 16-20 September 2013
World Scientific, c2015
- : [hardcover]
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
内容説明
This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians and also some contributions in computer science logics and philosophic logics.
目次
- An Analogy Between Cardinal Characteristics and Highness Properties of Oracles (Jorg Brendle, Andrew Brooke-Taylor, Keng Meng Ng and Andre Nies)
- Minimal Pairs in the C. E. Truth-Table Degrees (Rod Downey, Keng Meng Ng)
- Degree Spectra of Equivalence Relations (Liang Yu)
- Some Questions Concerning Ab Initio Generic Structures (Koichiro Ikeda)
- Model Complete Generic Structures (Koichiro Ikeda and Hirotaka Kikyo)
- Large Cardinals and Higher Degree Theory (Xianghui Shi)
- Characterization of the Second Homology Group of a Stationary Type in a Stable Theory (John Goodrick, Byunghan Kim and Alexei Kolesnikov)
- On Categorical Relationship Among Various Fuzzy Topological Systems, Fuzzy Topological Spaces and Related Algebraic Structures (Purbita Jana and Mihir K Chakraborty)
- Realizability and Existence Property of a Constructive Set Theory with Types (F Kachapova)
- A Non-Uniformly C-Productive Sequence & Non-Constructive Disjunctions (John Case, Michael Ralston and Yohji Akama)
- On Extensions of Basic Propositional Logic (Minghui Ma and Katsuhiko Sano)
- Goal-Directed Unbounded Coalitional Game and Its Complexity (Hu Liu)
- A Survey on Recent Results on Partial Learning (Ziyuan Gao, Sanjay Jain, Frank Stephan and Sandra Zilles)
「Nielsen BookData」 より