Skip to content
You are not logged in |Login  
     
Limit search to available items
Record:   Prev Next
Resources
More Information
Bestseller
BestsellerE-book
Conference Asian Logic Conference (11th : 2009 : Singapore)

Title Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 / edited by Toshiyasu Arai [and others].

Publication Info. Singapore ; Hackensack, NJ : World Scientific, [2012]
©2012

Item Status

Description 1 online resource (x, 181 pages) : illustrations
Physical Medium polychrome
Description text file
Bibliography Includes bibliographical references and index.
Contents Provably [symbol] and weakly descending chains / T. Arai -- Amalgamation, absoluteness, and categoricity / J. Baldwin -- K-trivials are never continuously random / G. Barmpalias [and others] -- Limitwise monotonic functions and their applications / R. Downey, A. Kach and D. Turetsky -- A dichotomy for the Mackey Borel structure / I. Farah -- On automatic families / S. Jain [and others] -- Cappable CEA sets and Ramsey's theorem / A. Kach, M. Lerman and R. Solomon -- Computable Dowd-type generic oracles / M. Kumabe and T. Suzuki -- Models of long sentences I / G. Sacks -- A universally free modal logic / S. Yang.
Summary 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.
Local Note eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject Logic, Symbolic and mathematical -- Congresses.
Logic, Symbolic and mathematical.
Genre/Form Electronic books.
Conference papers and proceedings.
Electronic books.
Conference papers and proceedings.
Festschriften.
Festschriften.
Added Author Chong, C.-T. (Chi-Tat), 1949-
Arai, Toshiyasu.
Other Form: Print version: Asian Logic Conference (11th : 2009 : Singapore). Proceedings of the 11th Asian Logic Conference. Singapore ; Hackensack, NJ : World Scientific, ©2012 9789814360531 (DLC) 2011020566 (OCoLC)724665099
ISBN 9789814360548 (electronic book)
9814360546 (electronic book)
9789814360531
9814360538