Proceedings of the 13th Asian Logic Conference : Guangzhou, China, 16-20 September 2013 / edited by Xishun Zhao, Qi Feng, Byunghan Kim, Liang Yu.

Saved in:
Bibliographic Details
Corporate Author: Asian Logic Conference Guangzhou, China
Other Authors: Zhao, Xishun (Editor), Feng, Qi, 1955- (Editor), Kim, Byunghan, 1963- (Editor), Yu, Liang (Professor of mathematics) (Editor)
Language:English
Published: New Jersey ; London ; Singapore ; Beijing ; Shanghai ; Hong Kong ; Taipei ; Chennai : World Scientific, [2015]
Subjects:
Genre:
Physical Description:x, 242 pages : illustrations ; 24 cm
Variant Title:
13th Asian Logic Conference.
Format: Conference Proceeding Book
Contents:
  • Machine generated contents note: An Analogy between Cardinal Characteristics and Highness Properties of Oracles / Andre Nies
  • A Non-Uniformly C-Productive Sequence & Non-Constructive Disjunctions / Yohji Akama
  • Minimal Pairs in the C.E. Truth-table Degrees / Keng Meng Ng
  • A Survey on Recent Results on Partial Learning / Sandra Zilles
  • Characterization of the Second Homology Group of a Stationary Type in a Stable Theory / Alexei Kolesnikov
  • Some Questions Concerning Ab Initio Generic Structures / Koichiro Ikeda
  • Model Complete Generic Structures / Hirotaka Kikyo
  • On Categorical Relationship among Various Fuzzy Topological Systems, Fuzzy Topological Spaces and Related Algebraic Structures / Mihir K. Chakraborty
  • Realizability and Existence Property of a Constructive Set Theory with Types / Farida Kachapova
  • Goal-directed Unbounded Coalitional Game and Its Complexity / Hu Liu
  • On Extensions of Basic Propositional Logic / Katsuhiko Sano