Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday

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 is held in the National University of Singapore, in honour 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.

List of 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).

Product details

• Authors: Qi Feng Et Al Toshiyasu Arai
• Assisted by: Toshiyasu Arai (Editor), Arai Toshiyasu (Editor), Qi Feng (Editor), Feng Qi (Editor), Byunghan Kim (Editor), Kim Byunghan (Editor), Guohua Wu (Editor), Wu Guohua (Editor), Yue Yang (Editor), Yang Yue (Editor)
• Publisher: Ingram Publishers Services
• Languages: English
• Product format: Hardback
• Released: 15.08.2011
• EAN: 9789814360531
• ISBN: 978-981-4360-53-1
• Subjects: Natural sciences, medicine, IT, technology > Mathematics > Basic principles; MATHEMATICS / Logic, Mathematical logic