第１１回アジア論理学会議 Proceedings of the 11th Asian Logic Conference: In Honor of Professor Chong Chitat on His 60th Birthday

Kim, Byunghan (EDT)/ Arai, Toshiyasu (EDT)/ Yang, Yue (EDT)

World Scientific Publishing Co Pte Ltd（2011/08発売）

• 製本 Hardcover:ハードカバー版／ページ数 192 p.
• 言語 ENG
• 商品コード 9789814360531
• DDC分類 511.3

Full Description

The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting.

Contents

Limitwise Monotonic Functions and Their Applications (R G Downey et al.); Provably Δ02 and Weakly Descending Chains (T Arai); K-Trivials are NCR (G Barmpalias et al.); A Dichotomy for the Mackey Borel Structure (I Farah); Computable Dowd-Type Generic Oracles (M Kumabe & T Suzuki); Cappable CEA Sets and Ramsey's Theorem (A M Kach et al.); Amalgamation, Absoluteness, and Categoricity (J T Baldwin); Models of Long Sentences I (G Sacks); On Automatic Families (S Jain et al.); A Universally-Free Modal Logic (S C-M Yang).