Computability and Models: Perspectives East and West
The book contains 15 articles from the classical theory of computability, the computability of aspects of familiar mathematical structures and so called "recursive model theory". Some articles are surveys of work inadequately covered elsewhere, some bring important new results, with pointers to a wider context. The contributors, all internationally recognised experts in their fields, have been associated with the three-year Research Project "Computability and Models". This project has helped to transform the fragmented European scene into a lively community of researchers; it has helped to overcome an earlier splitting of Recursion Theory between East and West.