Computability Theory and Its Applications: Current Trends and Open Problems : Proceedings of a 1999 Ams-Ims-Siam, Joint Summer Research Conference, ... Applications, June (Contemporary Mathematics) [Paperback]

Peter Cholak (Editor)

Book Description

Publication Date: June 2000 | ISBN-10: 0821819224 | ISBN-13: 978-0821819227

This collection of articles presents a snapshot of the status of computability theory at the end of the millennium and a list of fruitful directions for future research. The papers represent the works of experts in the field who were invited speakers at the AMS-IMS-SIAM Joint Summer Conference on Computability Theory and Applications held at the University of Colorado (Boulder). The conference focused on open problems in computability theory and on some related areas in which the ideas, methods, and/or results of computability theory play a role.

Some presentations are narrowly focused; others cover a wider area. Topics included from "pure" computability theory are the computably enumerable degrees (M. Lerman), the computably enumerable sets (P. Cholak, R. Soare), definability issues in the c.e. and Turing degrees (A. Nies, R. Shore) and other degree structures (M. Arslanov, S. Badaev and S. Goncharov, P. Odifreddi, A. Sorbi). The topics involving relations between computability and other areas of logic and mathematics are reverse mathematics and proof theory (D. Cenzer and C. Jockusch, C. Chong and Y. Yang, H. Friedman and S. Simpson), set theory (R. Dougherty and A. Kechris, M. Groszek, T. Slaman) and computable mathematics and model theory (K. Ambos-Spies and A. Kucera, R. Downey and J. Remmel, S. Goncharov and B. Khoussainov, J. Knight, M. Peretyat'kin, A. Shlapentokh).

Product Details

• Paperback: 320 pages
• Publisher: Amer Mathematical Society (June 2000)
• Language: English
• ISBN-10: 0821819224
• ISBN-13: 978-0821819227
• Product Dimensions: 9.9 x 6.9 x 0.7 inches
• Shipping Weight: 1.3 pounds
• Amazon Best Sellers Rank: #6,207,223 in Books (See Top 100 in Books)